bussproofs – Proof trees in the style of the se­quent cal­cu­lus

The pack­age al­lows the con­struc­tion of proof trees in the style of the se­quent cal­cu­lus and many other proof sys­tems. One novel fea­ture of the macros is they sup­port the hor­i­zon­tal align­ment ac­cord­ing to some cen­tre point spec­i­fied with the com­mand \fCen­ter. This is the style of­ten used in se­quent cal­cu­lus proofs.
The pack­age works in a Plain TeX doc­u­ment, as well as in LaTeX; an ex­po­si­tion of the com­mands avail­able is given in the pack­age file it­self.