/sequent-solver

Assignment for logic course, a sequent calculus solver with defined grammar

Primary LanguageJava

No issues in this repository yet.