adstewart/dafny-gitpod repository overview

A Docker image designed to work with Gitpod⁠, letting you use the Dafny⁠ verification-aware programming language in a cloud-based IDE.

Visit the GitHub repository at https://github.com/arranstewart-dev/dafny-gitpod⁠ for more details.