Package Description.
Info
| Version: | 4.9.1-nightly-2024-11-15-91a3c09 |
| Author(s): | DafnyRuntime |
| Last Update: | Friday, November 15, 2024 |
| .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)
