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.
- bussproofs: Proof trees in the style of the sequent calculus
- ebproof: Formal proofs in the style of sequent calculus
- adtrees: Macros for drawing adpositional trees
- lingtrees: Linguistics trees preprocessor and macros