Projects in Awesome Lists tagged with hol4
A curated list of projects in awesome lists tagged with hol4 .
https://github.com/aeneasverif/aeneas
A verification toolchain for Rust programs
compiler coq deductive-reasoning formal-methods formal-verification fstar hol4 lean ocaml program-verification proofs rust rust-lang
Last synced: 02 Jul 2026
https://github.com/AeneasVerif/aeneas
A verification toolchain for Rust programs
compiler coq deductive-reasoning formal-methods formal-verification fstar hol4 lean ocaml program-verification proofs rust rust-lang
Last synced: 26 Sep 2025
https://github.com/palmskog/fitch
Certified proof checker for Fitch-style propositional logic proofs
cakeml coq fitch-proofs hol4 ocaml ott propositional-logic
Last synced: 25 Oct 2025
