Vorschläge für Proofs

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

Package qed: Produce an end-of-proof mark
Package taylor: Macros for category-theoretic diagrams
Package emtrees: Draw labelled trees, using emTeX \specials
Package dirtree: Display trees in the style of windows explorer
Package dyntree: Construct Dynkin tree diagrams
Package lpform: Typesetting linear programming formulations and sets of equations
Package pmat: Typeset partitioned matrices
Package prftree: Macros for building proof trees
Package undertilde-gen: A simple macro for placing a tilde under a character
Package petri-nets: A set TeX/LaTeX packages for drawing Petri nets
Package variations: Typeset tables of variations of functions
Package tex-ewd: Macros to typeset calculational proofs and programs in Dijkstra’s style
Package tree-dvips: Trees and other linguists’ macros
Package anti: Typeset an anti-particle in maths mode
Package mandel: Compute the Mandelbrot set
Package calcfrac: Calculates the value of an expression containing fractions
Package minim-math: Extensive maths for LuaTeX
Package mathdots: Commands to produce dots in math that respect font size
Package systeme: Format systems of equations
Package treedef: Macros to typeset trees in Plain TeX
Package treesvr: Tree macros
Package treetex-plain: Draw trees
Package qobitree: LaTeX macros for typesetting trees
Package syntrace: Labels for tracing in a syntax tree
Package required: Packages required of a LaTeX distribution
Package autoaligne: Align terms and members in math expressions
Package stretchy: Macros for creating stretchy TeX symbols
Package xlop: Calculates and displays arithmetic operations
Package youngtab: Typeset Young-Tableaux
Package pdfmsym: PDF Math Symbols – various drawn mathematical symbols
Package tuple: Expandable operations for tuples of numbers