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
- fitch: LaTeX macros for Fitch-style natural deduction
- natded: Typeset natural deduction proofs
- ribbonproofs: Drawing ribbon proofs
- apxproof: Proofs in appendix
- semantex: Semantic, keyval-based mathematics
- flexisym: Symbol manipulation for breqn
- semtex: Deals with stripped SemanTeX documents
- smart-eqn: Automatic math symbol styling for LaTeX documents
- numerica: Numerically evaluate mathematical expressions in LaTeX form
- longdivision: Typesets long division
- diffcoeff: Write differential coefficients easily and consistently
- derivative: Nice and easy derivatives
- moremath: Additional commands for typesetting maths
- numbersets: Display number sets with customizable typefaces
- cascade: Constructions with braces to present mathematical demonstrations
- linearregression: Calculate and display linear regressions
- rec-thy: Commands to typeset recursion theory papers
- create-theorem: Initializing and configuring theorem-like environments, with multilingual support
- keytheorems: An l3keys interface to amsthm
- pascaltriangle: Draw beautiful Pascal (Yanghui) triangles
- simples-matrices: Define matrices by given list of values
- mathcommand: \newcommand-like commands for defining math macros
- rbt-mathnotes: Rebecca Turner’s personal macros and styles for typesetting mathematics notes
- numerica-plus: Iteration and recurrence relations: finding fixed points, zeros and extrema of functions
- unicode-math-input: Allow entering Unicode symbols in math formulas
- leftindex: Left indices with better spacing