/KE-prover

An Object-Oriented Implementation of a KE Tableau Prover

Primary LanguageJava

No issues in this repository yet.