use the Dafny verification-aware language with codespaces
412
A Docker image designed to work with GitHub codespaces, letting you use the Dafny verification-aware programming language in a cloud-based IDE.
Visit the GitHub repository at https://github.com/cits5501/dafny-codespaces for more details.
Content type
Image
Digest
sha256:862ee78a6…
Size
554.7 MB
Last updated
almost 2 years ago
docker pull adstewart/dafny-codespaces