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" />
paket add NHolZ --version 1.0.0
More awesome stuff coming
Added SourceLink for Source Indexing PDB
This package has no dependencies.
This package is not used by any popular GitHub repositories.