NHolZ 1.0.0

HOL Zero is a HOL theorem prover, i.e. a program supporting formal proof and theory development in the HOL logic. As the author points out, it is a relatively simple theorem prover and this also make it suitable to understand how theorem provers work. NHolZ is just a porting of HOL Zero in F#.

Install-Package NHolZ -Version 1.0.0
dotnet add package NHolZ --version 1.0.0
<PackageReference Include="NHolZ" Version="1.0.0" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add NHolZ --version 1.0.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

Release Notes

More awesome stuff coming
Added SourceLink for Source Indexing PDB

Dependencies

This package has no dependencies.

This package is not used by any popular GitHub repositories.

Version History

Version Downloads Last updated
1.0.0 793 9/12/2015