dafny-lang
-
- 1,042,308 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 947,875 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 393,706 total downloads
- last updated 7/4/2024
- Latest version: 2014.12.25
The compiler generator Coco/R -
Dafny
by: dafny-lang- 213,402 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 170,349 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 162,162 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
DafnyCore
by: dafny-lang- 158,856 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 155,513 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 102,700 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 98,061 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
- 59,149 total downloads
- last updated 2/4/2025
- Latest version: 4.10.0
Package Description -
-
- 16,547 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -