HOL Theorem Proving System

HOL Theorem Proving System's repositories

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.

Language:Standard MLNOASSERTION615 50 638

hol-guidebook

HOL Guidebook

Language:CSS11 7 2

hol-webpages

Webpages for the HOL4 website (currently at hol-theorem-prover.org)

Language:HTML3 10 3

armv8.6-asl-snapshot

Language:Standard ML1 50

SublimeHOL

SublimeHOL - A HOL Development Environment built on top of SublimeREPL

Language:PythonNOASSERTION1 60