dafny-lang
-
- 323,539 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description -
- 270,761 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
Dafny
by: dafny-lang- 131,439 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
- 95,349 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
- 92,480 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
- 84,261 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
DafnyCore
by: dafny-lang- 78,675 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
- 53,577 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
- 47,215 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description -
- 21,955 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 -