dafny
4.11.0Verification-aware programming language
Install
brew install dafnyDetails
Sources
Supported platforms
| Architecture | Platforms | Version | Download |
|---|---|---|---|
| Apple Silicon | Golden Gate | 4.11.0 | FileSHA-256888a55cc59aad5be9c86602559b1a062b19fe6fa6f0b2c78325f05f47369162f |
| Apple Silicon | Tahoe | 4.11.0 | FileSHA-2568e05c17dd373fc4990bfdbb912d8fa47eb1981a5fd34ec150283f53eddaa0c9e |
| Apple Silicon | Sequoia | 4.11.0 | FileSHA-256296346300fcb84014e88bcd5e6a43a3f59c1f5b90f6c4f9c9ff5e6664459f104 |
| Apple Silicon | Sonoma | 4.11.0 | FileSHA-256399f9dc444e83573e736e553df66faeb0c492abe5efc5d547c64b6f5732825e4 |
| Apple Silicon | Ventura | 4.11.0 | FileSHA-256212a957c6cff6a2b3709544c5ed25d75231aa25cd7c46f0dd2b4b7407add8b8f |
| Intel | Sonoma | 4.11.0 | FileSHA-256e8ee8d3e51738626a0f1ec731d0f8616310c13028b9557b792eea2078c1c7d97 |
| Intel | Ventura | 4.11.0 | FileSHA-256531c8d8608f45143c240ebcdb7c7bc92a47cf23d20b972f9d0d435318198a569 |
| ARM64 | Linux | 4.11.0 | FileSHA-25661c5799971f66478103d85b42562172496531a3aa2e8e8566befc75079bb7154 |
| x86_64 | Linux | 4.11.0 | FileSHA-256af77022b146755d7d3504323a153d62fd2d234fd23b831884555d1d6a037e16f |
Dependencies
- dotnet@8
- z3