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 653 147

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 10

4. hol4-vscode hol4-vscode Public

   HOL4 mode for VSCode

   TypeScript 3 3

5. SublimeHOL SublimeHOL Public

   Forked from JamesShaker/SublimeHOL

   SublimeHOL - A HOL Development Environment built on top of SublimeREPL

   Python 2 1

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

   Standard ML 2 1