dafny-lang
-
- 730,958 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 682,965 total downloads
- last updated 10/31/2024
- Latest version: 4.9.0
Package Description -
- 369,440 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 186,991 total downloads
- last updated 10/31/2024
- Latest version: 4.9.0
Package Description -
- 148,888 total downloads
- last updated 10/31/2024
- Latest version: 4.9.0
Package Description -
- 137,661 total downloads
- last updated 10/31/2024
- Latest version: 4.9.0
Package Description -
DafnyCore
by: dafny-lang- 136,369 total downloads
- last updated 10/31/2024
- Latest version: 4.9.0
Package Description -
- 134,934 total downloads
- last updated 10/31/2024
- Latest version: 4.9.0
Package Description -
- 83,563 total downloads
- last updated 10/31/2024
- Latest version: 4.9.0
Package Description -
- 78,011 total downloads
- last updated 10/31/2024
- Latest version: 4.9.0
Package Description -
- 43,513 total downloads
- last updated 10/31/2024
- Latest version: 4.9.0
Package Description -
-
- 16,306 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -