dafny-codespaces

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

Using with Codespaces

• On GitHub, click on the "Code" button, then codespaces, and create a new environment.
• Gitpod will download the Docker image and create an online IDE environment
• In the terminal shell, the dafny command will be on your PATH.

Dafny tutorial

You can find a Dafny tutorial online here.