gordon-sau / hol Goto Github PK
View Code? Open in Web Editor NEWThis project forked from hol-theorem-prover/hol
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Home Page: https://hol-theorem-prover.org
License: Other