Dockerfiles to build HOL4 (https://github.com/HOL-Theorem-Prover/HOL)
-
Updated
Jun 23, 2017 - Standard ML
Dockerfiles to build HOL4 (https://github.com/HOL-Theorem-Prover/HOL)
My solutions for the KTH HOL4 course - Interactive Theorem Proving
Interactive Theorem Proving course using HOL4
Certified proof checker for Fitch-style propositional logic proofs
A verification toolchain for Rust programs
Add a description, image, and links to the hol4 topic page so that developers can more easily learn about it.
To associate your repository with the hol4 topic, visit your repo's landing page and select "manage topics."