Suggestions for hideproofs

The following packages have something in common with the package hideproofs. 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 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 natded: Typeset natural deduction proofs
• Package ribbonproofs: Drawing ribbon proofs
• Package seqcalc: A package for declarative sequent-calculus proofs
• Package proofgraph: Dependency graphs of the results of a mathematical article
• 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 mhs: Historical mathematics
• Package atendofenv: Add a custom symbol at the end of an environment
• Package jmsdelim: A package for compositional delimiter sizing
• Package resmes: Measure restriction symbol in LaTeX
• Package skmath: Extensions to the maths command repertoir
• Package boldtensors: Bold latin and greek characters through simple prefix characters
• 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