dafny-lang
-
- 977,060 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 897,895 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 390,989 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 208,981 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 166,189 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 158,020 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
DafnyCore
by: dafny-lang- 154,283 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 151,709 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 99,188 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 94,786 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 55,881 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
-
- 16,504 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -