dafny.msbuild

Package Description.

Version:	1.0.0
Author(s):	dafny.msbuild
Last Update:	Monday, April 6, 2020
.NET Fiddle:	Create the first Fiddle
NuGet Url:	https://www.nuget.org/packages/dafny.msbuild

NuGet .NET CLI Paket CLIR Direct Download

Install-Package dafny.msbuild

dotnet add package dafny.msbuild

paket add dafny.msbuild


                                dafny.msbuild Download (Unzip the "nupkg" after downloading)

dafny.msbuild NuGet Package