Published
Apr 6, 2020
6y ago
Total Downloads
19.1K
19,082
Install
dotnet add package dafny.msbuild --version 1.0.0
| Product | Versions |
|---|---|
| Other |
Changes from Previous Version
No structural changes between v0.3.0 and v1.0.0.
Adoption Assessment
Assess this package against its supported frameworks, license, maintenance signals and dependency graph before making it a project standard.
Compatibility metadata lists 1 target framework; confirm the exact target used by your application.
Related Guides & Workflows
Learn how to evaluate, integrate, or audit this package in your .NET project.