pFad - Phone/Frame/Anonymizer/Declutterfier! Saves Data!


--- a PPN by Garber Painting Akron. With Image Size Reduction included!

URL: http://github.com/HOL-Theorem-Prover

href="https://github.githubassets.com/assets/primer-71a44d5be3f782c5.css" /> HOL Theorem Proving System · GitHub
Skip to content
@HOL-Theorem-Prover

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 722 165

  2. hol-guidebook hol-guidebook Public

    HOL Guidebook

    CSS 12 7

  3. hol4-vscode hol4-vscode Public

    HOL4 mode for VSCode

    TypeScript 7 5

  4. hol-webpages hol-webpages Public

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

    HTML 3 10

  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 3

Repositories

Showing 6 of 6 repositories

Top languages

Loading…

Most used topics

Loading…
pFad - Phonifier reborn

Pfad - The Proxy pFad © 2024 Your Company Name. All rights reserved.




Check this box to remove all script contents from the fetched content.



Check this box to remove all images from the fetched content.


Check this box to remove all CSS styles from the fetched content.


Check this box to keep images inefficiently compressed and original size.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy