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­sion1.6 2019-06-19
Li­censesGNU Gen­eral Public Li­cense
Main­tainerMarco Benini
Con­tained inTeX Live as prftree
MiKTeX as prftree
TopicsTree
Proof
Maths
See alsoproofs

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

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