dafny-lang

dafny-reportgenerator
by: dafny-lang
- .NET 6.0
- 1,097,152 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
- 985,599 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description
CocoR
by: bkragl boogie-org dafny-lang
- .NET 5.0 .NET Core 3.1
- 396,046 total downloads
- last updated 9 months ago
- Latest version: 2014.12.25
The compiler generator Coco/R
Dafny
by: dafny-lang
- .NET 8.0
- 217,264 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description
DafnyPipeline
by: dafny-lang
- .NET 8.0
- 173,773 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description
DafnyServer
by: dafny-lang
- .NET 8.0
- 165,371 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description
DafnyCore
by: dafny-lang
- .NET 8.0
- 162,352 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description
DafnyLanguageServer
by: dafny-lang
- .NET 8.0
- 158,740 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description
DafnyDriver
by: dafny-lang
- .NET 8.0
- 105,794 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description
DafnyTestGeneration
by: dafny-lang
- .NET 8.0
- 101,229 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description
DafnyBenchmarkingPlugin
by: dafny-lang
- .NET 8.0
- 62,201 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description
dafny.msbuild
by: dafny-lang
- 16,582 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description