NHolZ is a porting in F# of HOL Zero: a HOL Theorem Prover.
-
documentazione: https://domasin.github.io/nholz/
-
nuget package: https://www.nuget.org/packages/nholz2
domasin/nholz
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
NHolZ is a porting in F# of HOL Zero: a HOL Theorem Prover.
documentazione: https://domasin.github.io/nholz/
nuget package: https://www.nuget.org/packages/nholz2