NHolZ icon



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#.

Info
- Last update: 9/12/2015
- Version: 1.0
- Project documentation: http://github.com/domasin/NHolZ
- Read more info on NuGet.org...

Dependencies
This package has 0 dependencies.
0 packages depend on this package.

Install
Install-Package NHolZ
dotnet add package NHolZ
paket add NHolZ
NHolZ Download (Unzip the "nupkg" after downloading)

Tags






STATS

must-have-score

.5


avg-downloads-per-day

0


days-since-last-release

769