CTAN Comprehensive TeX Archive Network

CTAN Up­date: bussproofs

Date: Au­gust 21, 2012 8:17:43 PM CEST
On Tue, 21 Aug 2012 Sam Buss sub­mit­ted an up­date to the bussproofs pack­age. Sum­mary de­scrip­tion: Proof trees in the style of the se­quent cal­cu­lus and other sys­tems. Li­cense type: lppl An­nounce­ment text:
New fea­tures from pre­vi­ous CTAN ver­sion: - In­fer­ences with four or five hy­pothe­ses sup­ported. - One bug big. - Peter Smith's doc­u­men­ta­tion now in­cluded in CTAN dis­tri­bu­tion.
This pack­age is lo­cated at http://mir­ror.ctan.org/macros/la­tex/con­trib/bussproofs . More in­for­ma­tion is at http://www.ctan.org/pkg/bussproofs (if the pack­age is new it may take a day for that in­for­ma­tion to ap­pear). We are sup­ported by the TeX Users Group http://www.tug.org . Please join a users group; see http://www.tug.org/user­groups.html .
Thanks for the up­load. For the CTAN Team Rainer Schöpf

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.

Copy­right1994–1996, 2004–2006 Sa­muel R. Buss
Main­tainerSam Buss



Guest Book Sitemap Contact Contact Author