dafny-lang
-
- 873,256 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 801,064 total downloads
- last updated 12/20/2024
- Latest version: 4.9.1
Package Description -
- 384,495 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 200,561 total downloads
- last updated 12/20/2024
- Latest version: 4.9.1
Package Description -
- 159,983 total downloads
- last updated 12/20/2024
- Latest version: 4.9.1
Package Description -
- 150,634 total downloads
- last updated 12/20/2024
- Latest version: 4.9.1
Package Description -
DafnyCore
by: dafny-lang- 147,800 total downloads
- last updated 12/20/2024
- Latest version: 4.9.1
Package Description -
- 145,896 total downloads
- last updated 12/20/2024
- Latest version: 4.9.1
Package Description -
- 93,088 total downloads
- last updated 12/20/2024
- Latest version: 4.9.1
Package Description -
- 89,716 total downloads
- last updated 12/20/2024
- Latest version: 4.9.1
Package Description -
- 51,688 total downloads
- last updated 12/20/2024
- Latest version: 4.9.1
Package Description -
-
- 16,401 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -