[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.
-
Updated
Jan 25, 2024 - OCaml
[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.
Add a description, image, and links to the lcf topic page so that developers can more easily learn about it.
To associate your repository with the lcf topic, visit your repo's landing page and select "manage topics."