dafny-lang
NuGet publisher profile
Packages
12
Total Downloads
7.9M
7,852,920
Packages (12)
DafnyRuntime
Package Description
2.8M
downloads
dafny-reportgenerator
Package Description
1.8M
downloads
CocoR
The compiler generator Coco/R
485.5K
downloads
Dafny
Package Description
444.5K
downloads
DafnyCore
Package Description
402.4K
downloads
DafnyPipeline
Package Description
395.5K
downloads
DafnyLanguageServer
Package Description
376.1K
downloads
DafnyServer
Package Description
351.1K
downloads
DafnyDriver
Package Description
285.7K
downloads
DafnyTestGeneration
Package Description
261.3K
downloads
DafnyBenchmarkingPlugin
Package Description
182.5K
downloads
dafny.msbuild
Package Description
19.0K
downloads