Install command:
brew install dafny

Verification-aware programming language


License: MIT

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

Formula code on GitHub

Bottle (binary package) installation support provided for macOS releases:

Intel big sur

Current versions:

stable 3.1.0

Depends on:

dotnet 5.0.104 .NET Core
openjdk 15.0.2 Development kit for the Java programming language

Depends on when building from source:

gradle 7.0.1 Open-source build automation tool based on the Groovy and Kotlin DSL
nuget 5.9.1 Package manager for Microsoft development platform including .NET


Installs (30 days)
dafny 78
Installs on Request (30 days)
dafny 78
Build Errors (30 days)
dafny 0
Installs (90 days)
dafny 190
Installs on Request (90 days)
dafny 190
Installs (365 days)
dafny 482
Installs on Request (365 days)
dafny 482
Fork me on GitHub