Pinned Repositories
armv8.6-asl-snapshot
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.
hol-guidebook
HOL Guidebook
hol-webpages
Webpages for the HOL4 website (currently at hol-theorem-prover.org)
SublimeHOL
SublimeHOL - A HOL Development Environment built on top of SublimeREPL
HOL Theorem Proving System's Repositories
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.
HOL-Theorem-Prover/hol-guidebook
HOL Guidebook
HOL-Theorem-Prover/hol-webpages
Webpages for the HOL4 website (currently at hol-theorem-prover.org)
HOL-Theorem-Prover/armv8.6-asl-snapshot
HOL-Theorem-Prover/SublimeHOL
SublimeHOL - A HOL Development Environment built on top of SublimeREPL