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.
Public GitHub Catalog
Discovered Sep 25, 2026
HOL-Theorem-Prover / hol-webpages
Webpages for the HOL4 website (currently at hol-theorem-prover.org)
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#4427238GitHub System ID
HOL-Theorem-ProverOrganization / User
PublicVisibility
ActiveCatalog Status