texlive-latex-bussproofs 59745 Formal proofs in the style of sequent calculus

This package provides commands to typeset proof trees in the style of sequent calculus and related systems.