-
-
HOL Public
Forked from HOL-Theorem-Prover/HOLCanonical 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.
Standard ML Other UpdatedAug 21, 2024 -
-
-
Parity-Complexes Public
Formal verification of the material in Parity Complexes by Ross Street (coded in Coq).
Coq UpdatedOct 20, 2015