dafny-lang

dafny-reportgenerator
by: dafny-lang
- .NET 6.0
- 1,088,241 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
- 979,699 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
- 395,481 total downloads
- last updated 9 months ago
- Latest version: 2014.12.25
The compiler generator Coco/R
Dafny
by: dafny-lang
- .NET 8.0
- 216,604 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description
DafnyPipeline
by: dafny-lang
- .NET 8.0
- 173,223 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description
DafnyServer
by: dafny-lang
- .NET 8.0
- 164,794 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description
DafnyCore
by: dafny-lang
- .NET 8.0
- 161,761 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description
DafnyLanguageServer
by: dafny-lang
- .NET 8.0
- 158,193 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description
DafnyDriver
by: dafny-lang
- .NET 8.0
- 105,201 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description
DafnyTestGeneration
by: dafny-lang
- .NET 8.0
- 100,670 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description
DafnyBenchmarkingPlugin
by: dafny-lang
- .NET 8.0
- 61,673 total downloads
- last updated 2 months ago
- Latest version: 4.10.0
Package Description
dafny.msbuild
by: dafny-lang
- 16,579 total downloads
- last updated 4/6/2020
- Latest version: 1.0.0
Package Description