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
Fork me on GitHub