dafny-lang
-
- 3,164,126 total downloads
- last updated 10/29/2026
- Latest version: 4.11.1-nightly-2026-10-29-de36f2e (prerelease)
Package Description -
- 1,841,548 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 501,143 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 483,138 total downloads
- last updated 10/29/2026
- Latest version: 4.11.1-nightly-2026-10-29-de36f2e (prerelease)
Package Description -
DafnyCore
by: dafny-lang- 423,365 total downloads
- last updated 10/29/2026
- Latest version: 4.11.1-nightly-2026-10-29-de36f2e (prerelease)
Package Description -
- 411,001 total downloads
- last updated 10/29/2026
- Latest version: 4.11.1-nightly-2026-10-29-de36f2e (prerelease)
Package Description -
- 397,446 total downloads
- last updated 10/29/2026
- Latest version: 4.11.1-nightly-2026-10-29-de36f2e (prerelease)
Package Description -
- 370,252 total downloads
- last updated 10/29/2026
- Latest version: 4.11.1-nightly-2026-10-29-de36f2e (prerelease)
Package Description -
- 297,467 total downloads
- last updated 10/29/2026
- Latest version: 4.11.1-nightly-2026-10-29-de36f2e (prerelease)
Package Description -
- 275,975 total downloads
- last updated 10/29/2026
- Latest version: 4.11.1-nightly-2026-10-29-de36f2e (prerelease)
Package Description -
- 194,713 total downloads
- last updated 10/29/2026
- Latest version: 4.11.1-nightly-2026-10-29-de36f2e (prerelease)
Package Description -
-
- 19,257 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -