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#.
DependenciesThis package has 0 dependencies.
0 packages depend on this package.
dotnet add package NHolZ
paket add NHolZ