Suggestions for bussproofs-colorful
The following packages have something in common with the package bussproofs-colorful. The packages are ordered in decreasing similarity.
- bussproofs-extra: Extra commands for bussproofs.sty
- 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
- apxproof: Proofs in appendix
- gratzer-color-scheme: Colors definitions, theorems, corollaries, lemmas, and propositions
- darkmode: General Dark Mode Support for LaTeX-Documents
- ninecolors: Select colors with proper WCAG color contrast
- tangocolors: Use colors from the Tango color palette
- spotxcolor: Modern spot color support for the xcolor package
- colorinfo: Retrieve colour model and values for defined colours
- colorspace: Provides PDF color spaces
- colorwav: Colours by wavelength of visible light
- coloring: Define missing colors by their names
- colorweb: Extend the color package colour space
- latexcolors: Use color definitions from latexcolor.com
- opencolor: Definitions from the Open Color library
- palette: Create palettes for colors and symbols that can be swapped in
- pdfcol: Macros for maintaining colour stacks under pdfTeX
- svgcolor: Define SVG named colours
- spotcolor: Spot colours for pdfLaTeX
- udepcolor: University of Piura (UDEP) institutional and corporate colors for digital and electronic media
- coloredtheorem: A colourful boxed theorem environment
- pdfcolmk: Improved colour support under pdfTeX (legacy stub)