CTAN Comprehensive TeX Archive Network

An­nounce­ments for prooftrees

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

Atom Atom 1.0 feed with an­nounce­ments for pack­age prooftrees.
RSS RSS 2.0 feed with an­nounce­ments for pack­age prooftrees.

Guest Book Sitemap Contact Contact Author