The algorithm from the completeness of classical logic theorem
Primary LanguageJava
No issues in this repository yet.