Suggestions for ebproof

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

Package fitch: LaTeX macros for Fitch-style natural deduction
Package prftree: Macros for building proof trees
Package bussproofs: Proof trees in the style of the sequent calculus
Package proof-at-the-end: A package to move proofs to appendix
Package bussproofs-extra: Extra commands for bussproofs.sty
Package hideproofs: Defines a starred proof environment that hides proofs in draft mode
Package calculation: Typesetting reasoned calculations, also called calculational proofs
Package autobreak: Simple line breaking of long formulae
Package abraces: Asymmetric over-/underbraces in maths
Package eqnarray: More generalised equation arrays with numbering
Package thmtools: Extensions to theorem environments
Package bussproofs-colorful: Color extension for the bussproofs package
Package newproof: Make commands to define proofs
Package resizegather: Automatically resize overly large equations
Package blkarray: Extended array and tabular
Package cases: Numbered cases environment
Package cancel: Place lines through maths formulae
Package dotseqn: Flush left equations with dotted leaders to the numbers
Package empheq: EMPHasizing EQuations
Package nccmath: Extended mathematics capabilities
Package oubraces: Braces over and under a formula
Package polynom: Macros for manipulating polynomials
Package subeqnarray: Equation array with sub numbering
Package subeqn: Package for subequation numbering
Package thmbox: Decorate theorem statements
Package ytableau: Many-featured Young tableaux and Young diagrams
Package breqn: Automatic line breaking of displayed equations
Package longdivision: Typesets long division
Package shadethm: Theorem environments that are shaded
Package ntheorem: Enhanced theorem environment
Package kbordermatrix: LaTeX version of \bordermatrix