CTAN Comprehensive TeX Archive Network

New on CTAN: prftree

Date: De­cem­ber 2, 2014 4:00:42 PM CET
Marco Benini sub­mit­ted the prftree pack­age. Ver­sion num­ber: 2014/11/30 Li­cense type: gpl Sum­mary de­scrip­tion: A new pack­age to type­set proofs in nat­u­ral de­duc­tion and sim­i­lar An­nounce­ment text:
A new pack­age to type­set proofs in nat­u­ral de­duc­tion and sim­i­lar
This pack­age is lo­cated at http://mir­ror.ctan.org/macros/la­tex/con­trib/prftree/ More in­for­ma­tion is at http://www.ctan.org/pkg/prftree 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 Pe­tra RĂ¼be-Pugliese

prftree – Macros for build­ing proof trees

A pack­age to type­set proof trees for nat­u­ral de­duc­tion cal­culi, se­quent-like cal­culi, and sim­i­lar.

Pack­ageprftree
Ver­sion1.6 2019-06-19
Main­tainerMarco Benini

An­nounce­ments

more

Guest Book Sitemap Contact Contact Author