dafny-lang
-
- 391,406 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 324,070 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
Dafny
by: dafny-lang- 133,948 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
- 98,184 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
- 95,445 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
- 87,532 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
DafnyCore
by: dafny-lang- 81,663 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
- 55,524 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
- 49,269 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
- 23,810 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
-
- 16,045 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -