Skip to content

@HOL-Theorem-Prover HOL Theorem Proving System

Change the repository type filter

All

    Repositories list

    6 repositories

    • 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.
      lambda-calculustheorem-provinghigher-order-logic
      Standard ML
      •
      Other
      •144•640•175•8•Updated Jan 24, 2025Jan 24, 2025

    • hol-webpages

      Public
      Webpages for the HOL4 website (currently at hol-theorem-prover.org)
      HTML
      •9•3•1•0•Updated Jan 22, 2025Jan 22, 2025

    • hol-guidebook

      Public
      HOL Guidebook
      CSS
      •7•11•0•0•Updated Oct 11, 2024Oct 11, 2024

    • hol4-vscode

      Public
      HOL4 mode for VSCode
      TypeScript
      •3•1•0•0•Updated Sep 30, 2024Sep 30, 2024

    • armv8.6-asl-snapshot

      Public
      Standard ML
      •1•1•0•0•Updated Jan 21, 2022Jan 21, 2022

    • SublimeHOL

      Public
      SublimeHOL - A HOL Development Environment built on top of SublimeREPL
      Python
      •
      Other
      •311•2•0•0•Updated Sep 7, 2019Sep 7, 2019