dafny-lang
-
- 571,150 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 499,722 total downloads
- last updated 9/16/2024
- Latest version: 4.8.1
Package Description -
- 349,218 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 161,814 total downloads
- last updated 9/16/2024
- Latest version: 4.8.1
Package Description -
- 114,569 total downloads
- last updated 9/16/2024
- Latest version: 4.8.1
Package Description -
- 110,128 total downloads
- last updated 9/16/2024
- Latest version: 4.8.1
Package Description -
- 101,932 total downloads
- last updated 9/16/2024
- Latest version: 4.8.1
Package Description -
DafnyCore
by: dafny-lang- 97,702 total downloads
- last updated 9/16/2024
- Latest version: 4.8.1
Package Description -
- 66,278 total downloads
- last updated 9/16/2024
- Latest version: 4.8.1
Package Description -
- 60,536 total downloads
- last updated 9/16/2024
- Latest version: 4.8.1
Package Description -
- 32,040 total downloads
- last updated 9/16/2024
- Latest version: 4.8.1
Package Description -
-
- 16,108 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -