amartyads/sequent-solver

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

Java