Settings Help
CTAN
Comprehensive TeX Archive Network
Home Upload Browse

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.

Sources/macros/latex/contrib/bussproofs
Doc­u­men­ta­tion
Home pagehttp://math.ucsd.edu/~sbuss/Re­searchWeb/bussproofs/
Ver­sion1.1
Li­censeThe LaTeX Project Public Li­cense 1.3
Copy­right1994-1996,2004-2006 Sa­muel R. Buss
Main­tainerSam Buss
Con­tained inTeXLive as bussproofs
MiKTeX as bussproofs
Topics sup­port for type­set­ting math­e­mat­ics

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

Guest Book Sitemap Contact 2014-04-17 20:24 CEST