Ankündigungen für bussproofs-colorful

2026-01-28 New on CTAN: 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.

Paket	bussproofs-colorful
Version	1.0 2026-01-27
Copyright	2026 Julian (lambdaphoenix)
Betreuer	Julian

Atom Atom-1.0-Feed mit Ankündigungen für das Paket bussproofs-colorful.
RSS RSS-2.0-Feed mit Ankündigungen für das Paket bussproofs-colorful.