Fork me on GitHub

Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs. https://hol-theorem-prover.org