Vorschläge für Prftree

Die folgenden Pakete haben etwas mit dem Paket Prftree gemeinsam. Die Pakete sind in absteigender Ähnlichkeit sortiert.

Package ebproof: Formal proofs in the style of sequent calculus
Package bussproofs: Proof trees in the style of the sequent calculus
Package apxproof: Proofs in appendix
Package fitch: LaTeX macros for Fitch-style natural deduction
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 bussproofs-colorful: Color extension for the bussproofs package
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 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