name bussproofs
category Package
revision 27488
shortdesc Proof trees in the style of the sequent calculus.
relocated 1
longdesc The package allows the construction of proof trees in the style
longdesc of the sequent calculus and many other proof systems. One novel
longdesc feature of the macros is they support the horizontal alignment
longdesc according to some centre point specified with the command
longdesc \fCenter. This is the style often used in sequent calculus
longdesc proofs. The package works in a Plain TeX document, as well as
longdesc in LaTeX; an exposition of the commands available is given in
longdesc the package file itself.
runfiles size=10
 RELOC/tex/latex/bussproofs/bussproofs.sty
catalogue-ctan /macros/latex/contrib/bussproofs
catalogue-date 2015-02-03 17:14:53 +0100
catalogue-license lppl1.3
catalogue-version 1.1