Total Downloads
2.8M
2,839,566
Published
Aug 25, 2025
Latest stable version
Install
.NET CLI
dotnet add package DafnyRuntime --version 4.11.0
Package Manager Console
Install-Package DafnyRuntime -Version 4.11.0
PackageReference
<PackageReference Include="DafnyRuntime" Version="4.11.0" />
Frameworks
Dependencies
System.Collections.Immutable
[1.7.0, )
.NETFramework4.5.2
System.Runtime.Numerics
[4.3.0, )
.NETFramework4.5.2
System.Collections.Immutable
[1.7.0, )
.NETStandard2.0
System.Runtime.Numerics
[4.3.0, )
.NETStandard2.0
Adoption guide
Assess this package against its supported frameworks, license, maintenance signals and dependency graph before making it a project standard.
Compatibility metadata lists 2 target frameworks; confirm the exact target used by your application.
How to read this guidance
Sources: published NuGet v3 registry metadata and explicit NuBrowse editorial guides. Refresh: package metadata is refreshed from NuGet when the page loads. Limit: this is not a security, legal or compatibility guarantee; validate the selected version in your project.
Useful next steps
Move from package metadata to a concrete selection or review workflow.