Homebrew Formulae

dafny

Verification-aware programming language

https://www.microsoft.com/en-us/research/project/dafny-a-language-and-program-verifier-for-functional-correctness

/api/formula/dafny.json (JSON API)

Formula code on GitHub

Current versions:

stable	✅	2.3.0
bottle	🍾	catalina, mojave, high_sierra

Revision: 1

Depends on:

mono	6.8.0.105	Cross platform, open source .NET development framework
z3	4.8.7	High-performance theorem prover

Depends on when building from source:

mono-libgdiplus	6.0.4	GDI+-compatible API on non-Windows operating systems
nuget	5.4.0	Package manager for Microsoft development platform including .NET

Analytics:

Installs (30 days)
dafny	22
Installs on Request (30 days)
dafny	22
Build Errors (30 days)
dafny	0
Installs (90 days)
dafny	51
Installs on Request (90 days)
dafny	51
Installs (365 days)
dafny	306
Installs on Request (365 days)
dafny	307