Implementation of sequent calculus