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.