CTAN Comprehensive TeX Archive Network

CTAN up­date: prftree

Date: June 20, 2019 12:28:41 PM CEST
Marco Benini sub­mit­ted an up­date to the prftree pack­age. Ver­sion num­ber: 1.6 2019-06-19 Li­cense type: gpl Sum­mary de­scrip­tion: Macros for build­ing proof trees An­nounce­ment text:
The new ver­sion 1.6 of the prftree pack­age has a new sup­port for proofs in Martin-Lof type the­ory and ho­mo­topy type the­ory. There are also a few im­prove­ments to the com­mands to type­set proofs in nat­u­ral de­duc­tion and se­quent cal­culi. More­over, a cou­ple of com­mands to help the cre­ation of new in­fer­ence rules have been added, and stack­ing of premises is now im­ple­mented.
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 https://www.ctan.org/pkg/prftree
Thanks for the up­load. For the CTAN Team Erik Braun
We are sup­ported by the TeX users groups. Please join a users group; see http://www.tug.org/user­groups.html .

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.

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



Guest Book Sitemap Contact Contact Author