dafny-lang
-
- 1,129,601 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 1,004,523 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description -
- 397,211 total downloads
- last updated 9 months ago
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 218,722 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description -
- 175,080 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description -
- 166,549 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description -
DafnyCore
by: dafny-lang- 163,669 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description -
- 159,921 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description -
- 106,917 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description -
- 102,253 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description -
- 63,009 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description -
-
- 16,603 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -