CTAN Comprehensive TeX Archive Network

New CTAN pack­age: bussproofs

Date: Oc­to­ber 12, 2006 10:28:15 PM CEST
Sam Buss has mod­i­fied the li­cence state­ment in his bussproofs.sty pack­age (to lppl) and we now have the pack­age on ctan (macros/la­tex/con­trib/bussproofs). it will be at the ma­jor ctan sites, in its fi­nal form, in the near fu­ture. 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. users may browse the pack­age via its cat­a­logue en­try http://www.tex.ac.uk/tex-archive/help/Cat­a­logue/en­tries/bussproofs.html thanks, sam, for your help in mak­ing a read­ily-dis­tributable ctan pack­age. Robin Fair­bairns For the CTAN team

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

An­nounce­ments

more

Guest Book Sitemap Contact Contact Author