Popular repositories Loading

1. HOL HOL Public

   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.

   Standard ML 609 132

2. hol-guidebook hol-guidebook Public

   HOL Guidebook

   CSS 11 7

3. hol-webpages hol-webpages Public

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

   HTML 3 8

4. SublimeHOL SublimeHOL Public

   Forked from JamesShaker/SublimeHOL

   SublimeHOL - A HOL Development Environment built on top of SublimeREPL

   Python 1

5. armv8.6-asl-snapshot armv8.6-asl-snapshot Public

   Standard ML 1 1