CTAN
Comprehensive TeX Archive Network

prftree – Macros for building 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.

Sources /macros/latex/contrib/prftree
Doc­u­men­ta­tion
Ver­sion 1.5 2016-09-03
Li­cense GNU Gen­eral Public Li­cense
Main­tainer Marco Benini
Con­tained in TeX Live as prftree
MiKTeX as prftree
Topics sup­port for type­set­ting math­e­mat­ics
mech­a­nisms for draw­ing trees
type­set proofs and proof di­a­grams
See also proofs

Down­load the con­tents of this pack­age in one zip archive (295.8k).

Com­mu­nity Com­ments

Load­ing...

An­nounce­ments

Here you can see a re­spec­tive di­a­gram in newer browsers.

more

Guest Book Sitemap Contact Contact Author