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
• rec-thy: Commands to typeset recursion theory papers
• semantex: Semantic, keyval-based mathematics
• cascade: Constructions with braces to present mathematical demonstrations
• diffcoeff: Write differential coefficients easily and consistently
• derivative: Nice and easy derivatives
• flexisym: Symbol manipulation for breqn
• longdivision: Typesets long division
• semtex: Deals with stripped SemanTeX documents
• smart-eqn: Automatic math symbol styling for LaTeX documents
• numerica: Numerically evaluate mathematical expressions in LaTeX form
• create-theorem: Initializing and configuring theorem-like environments, with multilingual support
• pascaltriangle: Draw beautiful Pascal (Yanghui) triangles
• simples-matrices: Define matrices by given list of values
• unicode-math-input: Allow entering Unicode symbols in math formulas
• leftindex: Left indices with better spacing
• letterswitharrows: Draw arrows over math letters
• 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
• iwonamath: LaTeX support for scaled Iwona math fonts
• numerica-tables: Create multi-column tables of mathematical functions
• nicematrix: Improve the typesetting of mathematical matrices with PGF