dafny-lang
-
- 323,358 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 270,575 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
Dafny
by: dafny-lang- 131,409 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
- 95,316 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
- 92,449 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
- 84,230 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
DafnyCore
by: dafny-lang- 78,641 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
- 53,551 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
- 47,188 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
- 21,931 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
-
- 16,026 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description -