[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.
Primary LanguageOCaml