Suggestions for bussproofs-extra
The following packages have something in common with the package bussproofs-extra. The packages are ordered in decreasing similarity.
- bussproofs-colorful: Color extension for the bussproofs package
- bussproofs: Proof trees in the style of the sequent calculus
- proof-at-the-end: A package to move proofs to appendix
- hideproofs: Defines a starred proof environment that hides proofs in draft mode
- calculation: Typesetting reasoned calculations, also called calculational proofs
- ebproof: Formal proofs in the style of sequent calculus
- fitch: LaTeX macros for Fitch-style natural deduction
- prftree: Macros for building proof trees
- seqcalc: A package for declarative sequent-calculus proofs
- natded: Typeset natural deduction proofs
- ribbonproofs: Drawing ribbon proofs
- glossaries-extra: An extension to the glossaries package
- apxproof: Proofs in appendix
- bold-extra: Use bold small caps and typewriter fonts
- eqnalign: Make eqnarray behave like align
- inkpaper: A mathematical paper template
- phfthm: Goodies for theorems and proofs
- overrightarrow: Doubled “over” arrow
- boldtensors: Bold latin and greek characters through simple prefix characters
- oops: A framework for making definitions, typically mathematical, inline
- mismath: Miscellaneous mathematical macros
- complexpolylongdiv: Typesetting (complex) polynomial long division
- delimseasy: Delimiter commands that are easy to use and resize
- cascade: Constructions with braces to present mathematical demonstrations
- moremath: Additional commands for typesetting maths
- semtex: Deals with stripped SemanTeX documents
- semantex: Semantic, keyval-based mathematics
- sobolev: Commands for dealing with Sobolev spaces (and relatives)
- freemath: LaTeX maths without backslashes
- intexgral: A LaTeX package for typesetting integrals
- easyeqn: A simple package for writing equations