Suggestions for Proofs

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

• 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