/TableauxProver

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

Primary LanguagePythonMIT LicenseMIT

Stargazers

No one’s star this repository yet.