Announcements for bussproofs-colorful

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

Atom Atom 1.0 feed with announcements for package bussproofs-colorful.
RSS RSS 2.0 feed with announcements for package bussproofs-colorful.