prftree – Macros for building proof trees
A package to typeset proof trees for natural deduction calculi, sequent-like calculi, and similar.
GNU General Public License
|Contained in||TeX Live as prftree|
|MiKTeX as prftree|
support for typesetting mathematics
mechanisms for drawing trees
typeset proofs and proof diagrams
Download the contents of this package in one zip archive (295.8k).
Maybe you are interested in the following packages as well.
- ecltree: Trees using epic and eepic macros
- lingtrees: Linguistics trees preprocessor and macros
- linguex: Format linguists' examples
- qtree: Draw tree structures