Dafny is a verification-aware programming language

An intermediate verification language

VSCode IDE Integration for Dafny

The Dafny blog

Build infrastructure for solvers to use with Dafny (and other Boogie clients)

Action for installing Dafny

Helper action for setup-dafny-action that builds Dafny from source. DO NOT USE DIRECTLY.

Libraries useful for Dafny programs

Formal to Formal Mathematics Benchmark

The Go version of the Dafny runtime library