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.0.0

Depends on:

dotnet 5.0.103 .NET Core
openjdk 15.0.1 Development kit for the Java programming language

Depends on when building from source:

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


Installs (30 days)
dafny 87
Installs on Request (30 days)
dafny 87
Build Errors (30 days)
dafny 4
Installs (90 days)
dafny 207
Installs on Request (90 days)
dafny 207
Installs (365 days)
dafny 399
Installs on Request (365 days)
dafny 399
Fork me on GitHub