Convergent Sequent Calculator

Python prover for sequent calculus