Skip to content

README.md

Latest commit

 

History

History
20 lines (12 loc) · 777 Bytes

README.md

File metadata and controls

20 lines (12 loc) · 777 Bytes

dafny-codespaces

Docker hub version

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.