dafny-lang
-
- 999,525 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 921,550 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 392,727 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 211,317 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 168,333 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 159,803 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
DafnyCore
by: dafny-lang- 156,321 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 153,615 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 100,861 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 96,458 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 57,493 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
-
- 16,532 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -