An LCF-style proof assistant for minimal propositional logic (in OCaml)
Primary LanguageOCaml
Please read pa.pdf ;)