bussproofs-colorful__doc
Color extension for the bussproofs package
- Version:
- 1.0
- Copyright:
- Julian (lambdaphoenix)
- License:
- lppl1.3c
- Packaged on:
- 01/30/2026 11:38:23
- Number of files:
- 2
- Size on disk:
- 337.52 kB
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.