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
- calculation: Typesetting reasoned calculations, also called calculational proofs
- prftree: Macros for building proof trees
- fitch: LaTeX macros for Fitch-style natural deduction
- hideproofs: Defines a starred proof environment that hides proofs in draft mode
- ebproof: Formal proofs in the style of sequent calculus
- natded: Typeset natural deduction proofs
- ribbonproofs: Drawing ribbon proofs
- apxproof: Proofs in appendix
- gratzer-color-scheme: Colors definitions, theorems, corollaries, lemmas, and propositions
- coloring: Define missing colors by their names
- normalcolor: Changing \normalcolor
- colorweb: Extend the color package colour space
- colorinfo: Retrieve colour model and values for defined colours
- spotcolor: Spot colours for pdfLaTeX
- svgcolor: Define SVG named colours
- latexcolors: Use color definitions from latexcolor.com
- colorspace: Provides PDF color spaces
- pdfcol: Macros for maintaining colour stacks under pdfTeX
- opencolor: Definitions from the Open Color library
- tangocolors: Use colors from the Tango color palette
- colorwav: Colours by wavelength of visible light
- clrstrip: Place contents into a full width colour strip
- hycolor: Implements colour for packages hyperref and bookmark
- palette: Create palettes for colors and symbols that can be swapped in
- udepcolor: University of Piura (UDEP) institutional and corporate colors for digital and electronic media
- xcolor: Driver-independent color extensions for LaTeX and pdfLaTeX
- pagecolor: Interrogate page color
- darkmode: General Dark Mode Support for LaTeX-Documents