franck44/linux-dafny

•Updated over 5 years ago

Linux + Dafny compiler

Image

873

Tags for franck44/linux-dafny

Sort by

TAG

latest

Last pushed over 5 years by franck44

docker pull franck44/linux-dafny:latest

Digest	OS/ARCH	Compressed size
0e2f1115b649	linux/amd64	799.37 MB