prftree – Macros for building proof trees
A package to typeset proof trees for natural deduction calculi, sequent-like calculi, and similar.
|License||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.
- bussproofs: Proof trees in the style of the sequent calculus
- syntrace: Labels for tracing in a syntax tree
- treesvr: Tree macros
- ecltree: Trees using epic and eepic macros