dafny-lang
-
- 400,668 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 334,737 total downloads
- last updated 6/26/2024
- Latest version: 4.7.0
Package Description -
Dafny
by: dafny-lang- 135,854 total downloads
- last updated 6/26/2024
- Latest version: 4.7.0
Package Description -
- 100,144 total downloads
- last updated 6/26/2024
- Latest version: 4.7.0
Package Description -
- 97,189 total downloads
- last updated 6/26/2024
- Latest version: 4.7.0
Package Description -
- 89,345 total downloads
- last updated 6/26/2024
- Latest version: 4.7.0
Package Description -
DafnyCore
by: dafny-lang- 83,619 total downloads
- last updated 6/26/2024
- Latest version: 4.7.0
Package Description -
- 57,161 total downloads
- last updated 6/26/2024
- Latest version: 4.7.0
Package Description -
- 50,566 total downloads
- last updated 6/26/2024
- Latest version: 4.7.0
Package Description -
- 24,806 total downloads
- last updated 6/26/2024
- Latest version: 4.7.0
Package Description -
-
- 16,057 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -