CTAN Comprehensive TeX Archive Network

CTAN up­date: prooftrees

Date: De­cem­ber 7, 2016 9:20:43 AM CET
Clea F. Rees sub­mit­ted an up­date to the prooftrees pack­age. Ver­sion num­ber: 0.5 Li­cense type: lp­pl1.3 Sum­mary de­scrip­tion: For­est-based proof trees (sym­bolic logic) An­nounce­ment text:
This is a sig­nif­i­cant re-im­ple­men­ta­tion which lever­ages the fa­cil­i­ties for ar­gu­ment pro­cess­ing of­fered in For­est 2.1. This sig­nif­i­cantly im­proves per­for­mance.
This pack­age is lo­cated at http://mir­ror.ctan.org/graph­ics/pgf/con­trib/prooftrees More in­for­ma­tion is at http://www.ctan.org/pkg/prooftrees
Thanks for the up­load. For the CTAN Team Man­fred Lotz We are sup­ported by the TeX user groups. Please join a users group; see http://www.tug.org/user­groups.html .

prooftrees – For­est-based proof trees (sym­bolic logic)

The pack­age sup­ports draw­ing proof trees of the kind of­ten used in in­tro­duc­tory logic classes, es­pe­cially those aimed at stu­dents with­out strong math­emti­cal back­grounds. Hodges (1991) is one ex­am­ple of a text which uses this sys­tem. When teach­ing such a sys­tem it is es­pe­cially use­ful to an­no­tate the tree with line num­bers, jus­ti­fi­ca­tions and ex­pla­na­tions of branch clo­sures.

prooftrees pro­vides a sin­gle en­vi­ron­ment, prooftree, and a va­ri­ety of tools for an­no­tat­ing, cus­tomis­ing and high­light­ing such trees. A cross-ref­er­enc­ing sys­tem is pro­vided for trees which cite line num­bers in jus­ti­fi­ca­tions for proof lines or branch clo­sures.

prooftrees is based on for­est and, hence, TikZ. The pack­age re­quires ver­sion 2.0.2 of For­est for ex­pected re­sults and will not work with ver­sion 1.

Main­tainerClea F. Rees



Guest Book Sitemap Contact Contact Author