Suggestions for Hide Proofs

The following packages have something in common with the package Hide Proofs. 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 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 leanify: A LaTeX article checked by the Lean proof assistant
Package natded: Typeset natural deduction proofs
Package seqcalc: A package for declarative sequent-calculus proofs
Package ribbonproofs: Drawing ribbon proofs
Package proofgraph: Dependency graphs of the results of mathematical articles
Package apxproof: Proofs in appendix
Package eqnalign: Make eqnarray behave like align
Package phfthm: Goodies for theorems and proofs
Package inkpaper: A mathematical paper template
Package resmes: Measure restriction symbol in LaTeX
Package undertilde: Typeset a tilde under one (or many) maths symbols
Package mhs: Historical mathematics
Package jmsdelim: A package for compositional delimiter sizing
Package skmath: Extensions to the maths command repertoir
Package bropd: Simplified brackets and differentials in LaTeX
Package conteq: Typeset multiline continued equalities
Package correctmathalign: Correct spacing of the alignment in expressions
Package cascade: Constructions with braces to present mathematical demonstrations
Package complexpolylongdiv: Typesetting (complex) polynomial long division
Package delim: Simplify typesetting mathematical delimiters
Package delimseasy: Delimiter commands that are easy to use and resize
Package fixdif: Macros for typesetting differential operators
Package flagderiv: Flag style derivation package