Package Description.
Info
Version: | 3.5.1 |
Author(s): | Boogie |
Last Update: | Wednesday, March 12, 2025 |
.NET Fiddle: | Create the first Fiddle |
NuGet Url: | https://www.nuget.org/packages/Boogie.CodeContractsExtender |
Install
Install-Package Boogie.CodeContractsExtender
dotnet add package Boogie.CodeContractsExtender
paket add Boogie.CodeContractsExtender
Boogie.CodeContractsExtender Download (Unzip the "nupkg" after downloading)