Popular repositories
-
Forked from HOL-Theorem-Prover/HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
Standard ML
Forked from HOL-Theorem-Prover/HOL
Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.
Standard ML