Implementation of a sequent calculas Prover in Java
Primary LanguageJavaMIT LicenseMIT
No one’s star this repository yet.