a proof assistant kernel for minimal propositional logic
Primary LanguageRust
No issues in this repository yet.