Suggestions for Bussproofs-colorful

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

• Package bussproofs-extra: Extra commands for bussproofs.sty
• Package bussproofs: Proof trees in the style of the sequent calculus
• Package proof-at-the-end: A package to move proofs to appendix
• Package hideproofs: Defines a starred proof environment that hides proofs in draft mode
• Package calculation: Typesetting reasoned calculations, also called calculational proofs
• 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 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 gratzer-color-scheme: Colors definitions, theorems, corollaries, lemmas, and propositions
• Package apxproof: Proofs in appendix
• Package tangocolors: Use colors from the Tango color palette
• Package colorinfo: Retrieve colour model and values for defined colours
• Package colorwav: Colours by wavelength of visible light
• Package coloring: Define missing colors by their names
• Package colorweb: Extend the color package colour space
• Package darkmode: General Dark Mode Support for LaTeX-Documents
• Package latexcolors: Use color definitions from latexcolor.com
• Package ninecolors: Select colors with proper WCAG color contrast
• Package opencolor: Definitions from the Open Color library
• Package palette: Create palettes for colors and symbols that can be swapped in
• Package spotxcolor: Modern spot color support for the xcolor package
• Package svgcolor: Define SVG named colours
• Package spotcolor: Spot colours for pdfLaTeX
• Package udepcolor: University of Piura (UDEP) institutional and corporate colors for digital and electronic media
• Package colorspace: Provides PDF color spaces
• Package coloredtheorem: A colourful boxed theorem environment
• Package biochemistry-colors: Colors used to display amino acids, nucleotides, sugars or atoms in biochemistry