Suggestions for Leanify

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

Package proof-at-the-end: A package to move proofs to appendix
Package bussproofs-extra: Extra commands for bussproofs.sty
Package calculation: Typesetting reasoned calculations, also called calculational proofs
Package hideproofs: Defines a starred proof environment that hides proofs in draft mode
Package bussproofs-colorful: Color extension for the bussproofs package
Package ebproof: Formal proofs in the style of sequent calculus
Package prftree: Macros for building proof trees
Package bussproofs: Proof trees in the style of the sequent calculus
Package fitch: LaTeX macros for Fitch-style natural deduction
Package printlen: Print lengths using specified units
Package xprintlen: Print TeX lengths in a variety of units
Package natded: Typeset natural deduction proofs
Package seqcalc: A package for declarative sequent-calculus proofs
Package ribbonproofs: Drawing ribbon proofs
Package precattl: Prepare special catcodes from token list
Package pkgloader: Manage the options and loading order of other packages
Package prettytok: Pretty-print token lists
Package qstest: Bundle for unit tests and pattern matching
Package regcount: Display the allocation status of the TeX registers
Package ted: A (primitive) token list editor
Package inputtrc: Trace which file loads which
Package testflow: A tool to validate PS/PDF output from LaTeX
Package sympycalc: Work with SymPy and PyLuaTeX
Package proofgraph: Dependency graphs of the results of mathematical articles
Package pythonimmediate: Library to run Python code
Package python: Embed Python code in LaTeX
Package sympytex: Include symbolic computation (using sympy) in documents
Package unravel: Watching TeX digest tokens
Package unhook: Disable some LaTeX3 to simplify tracing
Package hybrid-latex: Allow active Python code in LaTeX documents
Package cmdtrack: Check used commands