NHolZ
August 14, 2023 ยท View on GitHub
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
August 14, 2023 ยท View on GitHub
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