# Suggestions for bussproofs-extra

The following packages have something in common with the package bussproofs-extra. The packages are ordered in decreasing similarity.

- bussproofs: Proof trees in the style of the sequent calculus
- proof-at-the-end: A package to move proofs to appendix
- calculation: Typesetting reasoned calculations, also called calculational proofs
- prftree: Macros for building proof trees
- ebproof: Formal proofs in the style of sequent calculus
- natded: Typeset natural deduction proofs
- ribbonproofs: Drawing ribbon proofs
- bold-extra: Use bold small caps and typewriter fonts
- glossaries-extra: An extension to the glossaries package
- apxproof: Proofs in appendix
- fixmath: Make maths comply with ISO 31-0:1992 to ISO 31-13:1992
- gensymb: Generic symbols for both text and math mode
- upgreek: Upright Greek letters
- autobreak: Simple line breaking of long formulae
- eqnalign: Make eqnarray behave like align
- eqnarray: More generalised equation arrays with numbering
- inkpaper: A mathematical paper template
- abraces: Asymmetric over-/underbraces in maths
- phfthm: Goodies for theorems and proofs
- thmtools: Extensions to theorem environments
- nath: Natural mathematics notation
- delimseasy: Delimiter commands that are easy to use and resize
- bropd: Simplified brackets and differentials in LaTeX
- boldtensors: Bold latin and greek characters through simple prefix characters
- constants: Automatic numbering of constants
- conteq: Typeset multiline continued equalities
- lplfitch: Fitch-style natural deduction proofs
- underoverlap: Position decorations over and under expressions
- commath: Mathematics typesetting support
- cancel: Place lines through maths formulae
- delim: Simplify typesetting mathematical delimiters