HOL-Theorem-Prover / HOL

git clone https://github.com/HOL-Theorem-Prover/HOL.git

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.