# Suggestions for ebproof

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

- proof-at-the-end: A package to move proofs to appendix
- calculation: Typesetting reasoned calculations, also called calculational proofs
- bussproofs: Proof trees in the style of the sequent calculus
- bussproofs-extra: Extra commands for bussproofs.sty
- prftree: Macros for building proof trees
- natded: Typeset natural deduction proofs
- ribbonproofs: Drawing ribbon proofs
- apxproof: Proofs in appendix
- semtex: Deals with stripped SemanTeX documents
- numerica: Numerically evaluate mathematical expressions in LaTeX form
- rec-thy: Commands to typeset recursion theory papers
- derivative: Nice and easy derivatives
- longdivision: Typesets long division
- smart-eqn: Automatic math symbol styling for LaTeX documents
- semantex: Semantic, keyval-based mathematics
- cascade: Constructions with braces to present mathematical demonstrations
- flexisym: Symbol manipulation for breqn
- leftindex: Left indices with better spacing
- mathcommand: \newcommand-like commands for defining math macros
- letterswitharrows: Draw arrows over math letters
- nicematrix: Improve the typesetting of mathematical matrices with PGF
- rbt-mathnotes: Rebecca Turnerâ€™s personal macros and styles for typesetting mathematics notes
- lt3graph: Provide a graph datastructure for experimental LaTeX3
- endiagram: Easy creation of potential energy curve diagrams
- substances: A database of chemicals
- pkgloader: Manage the options and loading order of other packages
- numberpt: Counters spelled out in Portuguese
- gatherenum: A crossover of align* and enumerate
- exsheets: Create exercise sheets and exams
- metrix: Typeset metric marks for Latin text
- pseudo: Straightforward pseudocode