prftree – Macros for building proof trees
A package to typeset proof trees for natural deduction calculi, sequent-like calculi, and similar.
|Licenses||GNU General Public License|
|Contained in||TeX Live as prftree|
MiKTeX as prftree
Download the contents of this package in one zip archive (366.7k).
Maybe you are interested in the following packages as well.
- proof-at-the-end: A package to move proofs to appendix
- calculation: Typesetting reasoned calculations, also called calculational proofs
- bussproofs-extra: Extra commands for bussproofs.sty
- qtree: Draw tree structures