dafny-lang
-
- 803,497 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 742,629 total downloads
- last updated 12/20/2024
- Latest version: 4.9.1
Package Description -
- 376,606 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 193,134 total downloads
- last updated 12/20/2024
- Latest version: 4.9.1
Package Description -
- 154,008 total downloads
- last updated 12/20/2024
- Latest version: 4.9.1
Package Description -
- 143,557 total downloads
- last updated 12/20/2024
- Latest version: 4.9.1
Package Description -
DafnyCore
by: dafny-lang- 141,862 total downloads
- last updated 12/20/2024
- Latest version: 4.9.1
Package Description -
- 139,764 total downloads
- last updated 12/20/2024
- Latest version: 4.9.1
Package Description -
- 87,708 total downloads
- last updated 12/20/2024
- Latest version: 4.9.1
Package Description -
- 83,185 total downloads
- last updated 12/20/2024
- Latest version: 4.9.1
Package Description -
- 47,415 total downloads
- last updated 12/20/2024
- Latest version: 4.9.1
Package Description -
-
- 16,365 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -