franck44/linux-dafny

•Updated over 5 years ago

Linux + Dafny compiler

Image

873

franck44/linux-dafny repository overview

A docker container with Dafny.

Recent tags

Content type

Image

Digest

Size

799.4 MB

Last updated

over 5 years ago

docker pull franck44/linux-dafny