An Object-Oriented Implementation of a KE Tableau Prover
Primary LanguageJava
No issues in this repository yet.