Certified proof checker for Fitch-style propositional logic proofs
Primary LanguageStandard MLMIT LicenseMIT