E

ebproof

A LaTeX package to typeset formal proofs in the style of sequent calculus.