A Docker image designed to work with Gitpod, letting you use the Dafny verification-aware programming language in a cloud-based IDE.
- Visit https://gitpod.io/#https://github.com/arranstewart-dev/dafny-gitpod in your browser
- Gitpod will download the Docker image and create an online IDE environment
- In the terminal shell, the
dafnycommand will be on yourPATH.