Suggestions for proofs

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

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