HOL Theorem Proving System

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 763 177

2. hol-guidebook hol-guidebook Public

   HOL Guidebook

   CSS 12 7

3. hol4-vscode hol4-vscode Public

   HOL4 mode for VSCode

   TypeScript 10 6

4. holbuild holbuild Public

   holproject.toml based builds for hol4

   Standard ML 5 7

5. hol-webpages hol-webpages Public

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

   HTML 3 12

6. SublimeHOL SublimeHOL Public

   Forked from JamesShaker/SublimeHOL

   SublimeHOL - A HOL Development Environment built on top of SublimeREPL

   Python 2 1