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 doc­u­ment, as well as in ; 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
Home page http://math.ucsd.edu/~sbuss/Re­searchWeb/bussproofs/
Ver­sion 1.1
Li­cense The Project Public Li­cense 1.3
Main­tainer Sam Buss
Con­tained in TeX 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).

Com­mu­nity Com­ments



Here you can see a re­spec­tive di­a­gram in newer browsers.


Guest Book Sitemap Contact Contact Author