dafny-lang
-
- 340,773 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 285,805 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
Dafny
by: dafny-lang- 132,365 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
- 96,486 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
- 93,490 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
- 85,253 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
DafnyCore
by: dafny-lang- 79,841 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
- 54,367 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
- 48,071 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
- 22,702 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
-
- 16,036 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -