Formal proofs in the style of sequent calculus
