Package Description.
Info
| Version: | 4.11.1-nightly-2025-12-12-ae19459 |
| Author(s): | DafnyRuntime |
| Last Update: | Friday, December 12, 2025 |
| .NET Fiddle: | Create the first Fiddle |
| NuGet Url: | https://www.nuget.org/packages/DafnyRuntime |
Install
Install-Package DafnyRuntime
dotnet add package DafnyRuntime
paket add DafnyRuntime
DafnyRuntime Download (Unzip the "nupkg" after downloading)
Dependencies
- System.Collections.Immutable(>= 1.7.0)
- System.Runtime.Numerics(>= 4.3.0)
