Suggestions for prftree
The following packages have something in common with the package prftree. The packages are ordered in decreasing similarity.
- proof-at-the-end: A package to move proofs to appendix
- calculation: Typesetting reasoned calculations, also called calculational proofs
- bussproofs: Proof trees in the style of the sequent calculus
- bussproofs-extra: Extra commands for bussproofs.sty
- ebproof: Formal proofs in the style of sequent calculus
- fitch: LaTeX macros for Fitch-style natural deduction
- natded: Typeset natural deduction proofs
- ribbonproofs: Drawing ribbon proofs
- dyntree: Construct Dynkin tree diagrams
- apxproof: Proofs in appendix
- qobitree: LaTeX macros for typesetting trees
- syntrace: Labels for tracing in a syntax tree
- treesvr: Tree macros
- ecltree: Trees using epic and eepic macros
- linguex: Format linguists' examples
- qtree: Draw tree structures
- rrgtrees: Linguistic tree diagrams for Role and Reference Grammar (RRG) with LaTeX
- williams: Miscellaneous macros by Peter Williams
- xyling: Draw syntactic trees, etc., for linguistics literature, using xy-pic
- xytree: Tree macros using XY-Pic
- lingtrees: Linguistics trees preprocessor and macros
- synttree: Typeset syntactic trees
- familytree: Draw family trees
- adtrees: Macros for drawing adpositional trees
- tree-dvips: Trees and other linguists' macros
- proofs: Macros for building proof trees
- required: Packages "required" of a LaTeX distribution
- treetex-plain: Draw trees
- treedef: Macros to typeset trees in Plain TeX
- baum: Trees, using PiCTeX
- chomsky: Macros to typeset parsing trees