Comprehensive TeX Archive Network

bussproofs – Proof trees in the style of the sequent calculus

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.

Home pagehttp://math.ucsd.edu/~sbuss/Re­searchWeb/bussproofs/
Li­censeThe LaTeX Project Public Li­cense 1.3
Main­tainerSam Buss
Con­tained inTeX Live as bussproofs
MiKTeX as bussproofs
Topics sup­port for type­set­ting math­e­mat­ics
type­set proofs and proof di­a­grams
See also ebproof

Down­load the con­tents of this pack­age in one zip archive (114.9k).

Guest Book Sitemap Contact Contact Author