Published
Jul 19, 2022
4y ago
Total Downloads
457.8K
457,835
Install
dotnet add package Dafny --version 3.7.3.40719
No framework information available.
Changes from Previous Version
No structural changes between v3.7.2.40713 and v3.7.3.40719.
Adoption Assessment
Assess this package against its supported frameworks, license, maintenance signals and dependency graph before making it a project standard.
No SPDX license expression is published. Review the license text and your organisation's policy before redistribution.No target framework metadata is available. Confirm compatibility in a representative project before standardising on this package.
Related Guides & Workflows
Learn how to evaluate, integrate, or audit this package in your .NET project.