Boogie.Provers.LeanAuto

v3.1.6

Package Description

boogie-org

NuGet Stats Changelog

Total Downloads

227.5K

227,516

Published

May 23, 2024

Latest stable version

Install

.NET CLI

dotnet add package Boogie.Provers.LeanAuto --version 3.1.6

Package Manager Console

Install-Package Boogie.Provers.LeanAuto -Version 3.1.6

PackageReference

<PackageReference Include="Boogie.Provers.LeanAuto" Version="3.1.6" />

Frameworks

net6.0

Dependencies

Boogie.BaseTypes

net6.0

[3.1.6, )

Boogie.CodeContractsExtender

net6.0

[3.1.6, )

Boogie.Core

net6.0

[3.1.6, )

Boogie.VCGeneration

net6.0

[3.1.6, )

System.Linq.Async

net6.0

[6.0.1, )

Adoption guide

Assess this package against its supported frameworks, license, maintenance signals and dependency graph before making it a project standard.

No SPDX license expression is published. Review the license text and your organisation's policy before redistribution.

Compatibility metadata lists 1 target framework; 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.