Suggestions for Prftree

The following packages have something in common with the package Prftree. The packages are ordered in decreasing similarity.

• Package ebproof: Formal proofs in the style of sequent calculus
• Package fitch: LaTeX macros for Fitch-style natural deduction
• Package bussproofs: Proof trees in the style of the sequent calculus
• Package apxproof: Proofs in appendix
• Package qtree: Draw tree structures
• Package proof-at-the-end: A package to move proofs to appendix
• Package bussproofs-extra: Extra commands for bussproofs.sty
• Package hideproofs: Defines a starred proof environment that hides proofs in draft mode
• Package calculation: Typesetting reasoned calculations, also called calculational proofs
• Package pst-tree: Trees, using PSTricks
• Package dirtree: Display trees in the style of windows explorer
• Package autobreak: Simple line breaking of long formulae
• Package abraces: Asymmetric over-/underbraces in maths
• Package eqnarray: More generalised equation arrays with numbering
• Package thmtools: Extensions to theorem environments
• Package bussproofs-colorful: Color extension for the bussproofs package
• Package dyntree: Construct Dynkin tree diagrams
• Package linguex: Format linguists’ examples
• Package natded: Typeset natural deduction proofs
• Package ribbonproofs: Drawing ribbon proofs
• Package seqcalc: A package for declarative sequent-calculus proofs
• Package pst-qtree: Simple syntax for trees
• Package pst-tvz: Draw trees with more than one root node, using PSTricks
• Package newproof: Make commands to define proofs
• Package resizegather: Automatically resize overly large equations
• Package blkarray: Extended array and tabular
• Package cases: Numbered cases environment
• Package cancel: Place lines through maths formulae
• Package dotseqn: Flush left equations with dotted leaders to the numbers
• Package empheq: EMPHasizing EQuations
• Package nccmath: Extended mathematics capabilities