There are 0 repository under hol topic.
Model finder for higher-order logic
An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
The opentheory tool processes higher order logic theory packages
Hands-on Labs (HOLs) and presentations for Microservices, Serverless and Containers readiness.
ISVs Innovation Day decks and Hands-on-Labs instructions
Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP).
Isabelle's Pure logic, directly extended to FOL/HOL
Equivalence of natural deduction and sequent calculus in HOL4
Scripts for deploying HOL Light with Docker (and optional checkpointing)