dafny-lang

dafny-reportgenerator
by: dafny-lang
- .NET 6.0
- 308,642 total downloads
- last updated 7/14/2022
- Latest version: 1.2.0
Package Description
DafnyRuntime
by: dafny-lang
- .NET Standard 2.0 .NET Framework 4.5.2
- 258,622 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description
Dafny
by: dafny-lang
- .NET 6.0
- 130,481 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description
DafnyPipeline
by: dafny-lang
- .NET 6.0
- 94,291 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description
DafnyServer
by: dafny-lang
- .NET 6.0
- 91,408 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description
DafnyLanguageServer
by: dafny-lang
- .NET 6.0
- 83,153 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description
DafnyCore
by: dafny-lang
- .NET 6.0
- 77,432 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description
DafnyDriver
by: dafny-lang
- .NET 6.0
- 52,815 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description
DafnyTestGeneration
by: dafny-lang
- .NET 6.0
- 46,438 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description
DafnyBenchmarkingPlugin
by: dafny-lang
- .NET 6.0
- 21,086 total downloads
- last updated 3/28/2024
- Latest version: 4.6.0
Package Description
dafny.msbuild
by: dafny-lang
- 16,017 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description