hol
Here are 27 public repositories matching this topic...
Hands-on Labs (HOLs) and presentations for Microservices, Serverless and Containers readiness.
-
Updated
Dec 2, 2017 - Shell
-
Updated
Mar 28, 2018 - HTML
Isabelle's Pure logic, directly extended to FOL/HOL
-
Updated
May 19, 2019 - Isabelle
Scripts for deploying HOL Light with Docker (and optional checkpointing)
-
Updated
Aug 29, 2019 - Dockerfile
Equivalence of natural deduction and sequent calculus in HOL4
-
Updated
Oct 2, 2019 - Standard ML
Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP).
-
Updated
Mar 27, 2022 - Isabelle
Coq version of (part of) the HOL-IMP theories accompanying the book "Concrete Semantics with Isabelle/HOL". Formalized using a now outdated version of CoqHammer.
-
Updated
Apr 15, 2022 - Coq
Verilog development and verification project for HOL4
-
Updated
Feb 9, 2023 - Standard ML
The opentheory tool processes higher order logic theory packages
-
Updated
Mar 21, 2023 - Standard ML
Improve this page
Add a description, image, and links to the hol topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the hol topic, visit your repo's landing page and select "manage topics."