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
- dirtree: Display trees in the style of windows explorer
- emtrees: Draw labelled trees, using emTeX \specials
- prftree: Macros for building proof trees
- dyntree: Construct Dynkin tree diagrams
- lpform: Typesetting linear programming formulations and sets of equations
- mathdots: Commands to produce dots in math that respect font size
- pmat: Typeset partitioned matrices
- kbordermatrix: LaTeX version of \bordermatrix
- 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
- systeme: Format systems of equations
- tree-dvips: Trees and other linguists' macros
- autoaligne: Align terms and members in math expressions
- anti: Typeset an anti-particle in maths mode
- mandel: Compute the Mandelbrot set
- xlop: Calculates and displays arithmetic operations
- youngtab: Typeset Young-Tableaux
- calcfrac: Calculates the value of an expression containing fractions
- minim-math: Extensive maths for LuaTeX
- qobitree: LaTeX macros for typesetting trees
- required: Packages "required" of a LaTeX distribution
- syntrace: Labels for tracing in a syntax tree
- treetex-plain: Draw trees
- treedef: Macros to typeset trees in Plain TeX
- treesvr: Tree macros
- polexpr: A parser for polynomial expressions
- pdfmsym: PDF Math Symbols — various drawn mathematical symbols