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 754 171

2. hol-guidebook hol-guidebook Public

   HOL Guidebook

   CSS 12 7

3. hol4-vscode hol4-vscode Public

   HOL4 mode for VSCode

   TypeScript 10 5

4. hol-webpages hol-webpages Public

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

   HTML 3 12

5. holbuild holbuild Public

   holproject.toml based builds for hol4

   Standard ML 3 1

6. SublimeHOL SublimeHOL Public

   Forked from JamesShaker/SublimeHOL

   SublimeHOL - A HOL Development Environment built on top of SublimeREPL

   Python 2 1