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
- dyntree: Construct Dynkin tree diagrams
- apxproof: Proofs in appendix
- rrgtrees: Linguistic tree diagrams for Role and Reference Grammar (RRG) with LaTeX