Sequent based theorem provers for Intuitionistic Propositional Logic
Primary LanguageOCaml
No one’s star this repository yet.