tchajed/dafny

•Updated about 3 years ago

Run the Dafny verifier within Docker

Image

Languages & frameworks

975

tchajed/dafny repository overview

No overview available

This repository doesn't have an overview

Recent tags

Content type

Image

Digest

sha256:de709db7f…

Size

440 MB

Last updated

about 3 years ago

docker pull tchajed/dafny