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.4.0.198	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.3.1	Package manager for Microsoft development platform including .NET

Analytics:

Installs (30 days)
dafny	71
Installs on Request (30 days)
dafny	71
Build Errors (30 days)
dafny	10
Installs (90 days)
dafny	243
Installs on Request (90 days)
dafny	244
Installs (365 days)
dafny	243
Installs on Request (365 days)
dafny	244