dafny-lang
-
- 898,327 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 820,784 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 385,687 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 201,516 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 160,589 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 152,359 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
DafnyCore
by: dafny-lang- 148,498 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 146,501 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 93,677 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 90,812 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 52,135 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
-
- 16,407 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -