[wip] Proof format and checker for first-order and higher-order theorem provers
Primary LanguageOCaml