New on CTAN: bussproofs-colorful
Date: January 28, 2026 6:21:17 PM CET
Julian submitted the
bussproofs-colorful
package.
Version: 1.0 2026-01-27
License: lppl1.3c
Summary description: Color extension for the bussproofs package
Announcement text:
The bussproofs-colorful package adds color support to the bussproofs package. It introduces configurable colors for nodes, inference lines, and rule labels, a theme mechanism, runtime color control commands, and a scoped environment for local color changes. The package preserves the original layout and spacing logic of bussproofs while enabling flexible and consistent color customization.
The package’s Catalogue entry can be viewed at https://ctan.org/pkg/bussproofs-colorful The package’s files themselves can be inspected at https://mirrors.ctan.org/macros/latex/contrib/bussproofs-colorful/
Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese
CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs
The bussproofs-colorful package adds color support to the bussproofs package. It introduces configurable colors for nodes, inference lines, and rule labels, a theme mechanism, runtime color control commands, and a scoped environment for local color changes. The package preserves the original layout and spacing logic of bussproofs while enabling flexible and consistent color customization.
The package’s Catalogue entry can be viewed at https://ctan.org/pkg/bussproofs-colorful The package’s files themselves can be inspected at https://mirrors.ctan.org/macros/latex/contrib/bussproofs-colorful/
Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese
CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs
bussproofs-colorful – Color extension for the bussproofs package
This is a small extension to the bussproofs package that adds color control for proof trees. It allows users to customize the colors of nodes (formulas), inference lines, and labels via package options and runtime commands, while preserving the original layout and spacing of bussproofs.
| Package | bussproofs-colorful |
| Version | 1.0 2026-01-27 |
| Copyright | 2026 Julian (lambdaphoenix) |
| Maintainer | Julian |