CTAN Comprehensive TeX Archive Network

An­nounce­ments for bussproofs

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 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.

Pack­agebussproofs
Ver­sion1.1
Copy­right1994–1996, 2004–2006 Sa­muel R. Buss
Main­tainerSam Buss

Atom Atom 1.0 feed with an­nounce­ments for pack­age bussproofs.
RSS RSS 2.0 feed with an­nounce­ments for pack­age bussproofs.

Guest Book Sitemap Contact Contact Author