dafny-lang
NuGet publisher profile
Packages
12
Total Downloads
8.1M
8,087,732
Packages (12)
DafnyRuntime
Package Description
3.0M
downloads
dafny-reportgenerator
Package Description
1.8M
downloads
CocoR
The compiler generator Coco/R
493.4K
downloads
Dafny
Package Description
457.8K
downloads
DafnyCore
Package Description
413.2K
downloads
DafnyPipeline
Package Description
401.2K
downloads
DafnyLanguageServer
Package Description
388.0K
downloads
DafnyServer
Package Description
360.5K
downloads
DafnyDriver
Package Description
290.0K
downloads
DafnyTestGeneration
Package Description
268.1K
downloads
DafnyBenchmarkingPlugin
Package Description
188.4K
downloads
dafny.msbuild
Package Description
19.1K
downloads