dafny-lang
-
- 740,757 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 691,207 total downloads
- last updated 10/31/2024
- Latest version: 4.9.0
Package Description -
- 370,398 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 187,673 total downloads
- last updated 10/31/2024
- Latest version: 4.9.0
Package Description -
- 149,459 total downloads
- last updated 10/31/2024
- Latest version: 4.9.0
Package Description -
- 138,132 total downloads
- last updated 10/31/2024
- Latest version: 4.9.0
Package Description -
DafnyCore
by: dafny-lang- 137,027 total downloads
- last updated 10/31/2024
- Latest version: 4.9.0
Package Description -
- 135,465 total downloads
- last updated 10/31/2024
- Latest version: 4.9.0
Package Description -
- 83,862 total downloads
- last updated 10/31/2024
- Latest version: 4.9.0
Package Description -
- 79,019 total downloads
- last updated 10/31/2024
- Latest version: 4.9.0
Package Description -
- 43,814 total downloads
- last updated 10/31/2024
- Latest version: 4.9.0
Package Description -
-
- 16,310 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -