dafny
Verification-aware programming language
Ecosystem
formulae.brew.sh
formulae.brew.sh
Latest Release
about 1 year ago
4.11.0
about 1 year ago
Versions
28
28
Downloads
24 last month
24 last month
Dependent Repos
1
1
Links
| Registry | formulae.brew.sh |
| Source | Repository |
| Homepage | Homepage |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Package Details
| PURL |
pkg:brew/dafny
spec |
| License | MIT |
| First Release | over 4 years ago |
| Last Synced | about 3 hours ago |
Repository
| Stars | 3,561 on GitHub |
| Forks | 327 on GitHub |
| Commits | 6065 |
| Committers | 135 |
| Avg per Author | 44.926 |
| DDS | 0.8 |