/TableauxProver

Graphical Tableaux Prover for Propositional-, First Order Predicate-, Intuitionistic Propositional- and Intuitionistic First Order Predicate Logic

Primary LanguagePythonMIT LicenseMIT

No issues in this repository yet.