Invalid image

NHolZ



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

Version: 1.0
Author(s): Domenico Masini
Last Update: Saturday, September 12, 2015
.NET Fiddle:
Project Url: http://github.com/domasin/NHolZ
NuGet Url: https://www.nuget.org/packages/NHolZ


Install
Install-Package NHolZ
dotnet add package Z.EntityFramework.Plus.EF6
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

822