Tableaux prover (and contradiction counter) for formally inconsistent logic mbC.
Primary LanguagePython
No one’s star this repository yet.