Projects in Awesome Lists tagged with hol
A curated list of projects in awesome lists tagged with hol .
https://github.com/CakeML/cakeml
CakeML: A Verified Implementation of ML
compiler formal-semantics formal-verification hol programming-language sml theorem-proving
Last synced: 12 Apr 2025
https://github.com/c-cube/trustee
[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.
hol kernel-of-trust lcf ocaml proof-checker
Last synced: 29 Oct 2025
https://github.com/hiero-ledger/hiero-consensus-specifications
Canonical specifications for Hiero Consensus Specifications (HCS) — originally written and maintained by Hashgraph Online
consensus hashgraph hashgraph-online hcs hedera hol
Last synced: 18 Jan 2026
https://github.com/lukaszcz/coq-imp
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.
coq coq-formalization coqhammer hammer hol
Last synced: 23 Apr 2025
https://github.com/logicalhacking/featherweight_ocl
Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP).
firewall formal-proofs hol holocl isabelle-hol ocl verification
Last synced: 19 Mar 2026
https://github.com/jaycech3n/pure_logic
Isabelle's Pure logic, directly extended to FOL/HOL
hol interactive-theorem-proving isabelle
Last synced: 05 Jan 2026
