_            _    _        _         _
      /\ \         /\ \ /\ \     /\_\      / /\
      \_\ \       /  \ \\ \ \   / / /     / /  \
      /\__ \     / /\ \ \\ \ \_/ / /     / / /\ \__
     / /_ \ \   / / /\ \ \\ \___/ /     / / /\ \___\
    / / /\ \ \ / / /  \ \_\\ \ \_/      \ \ \ \/___/
   / / /  \/_// / /   / / / \ \ \        \ \ \
  / / /      / / /   / / /   \ \ \   _    \ \ \
 / / /      / / /___/ / /     \ \ \ /_/\__/ / /
/_/ /      / / /____\/ /       \ \_\\ \/___/ /
\_\/       \/_________/         \/_/ \_____\/
texlive-bussproofs-colorful 2026.1
Channel: guix
Location: gnu/packages/tex.scm (gnu packages tex)
Home page: https://ctan.org/pkg/bussproofs-colorful
Licenses: LPPL 1.3c
Build system: texlive
Synopsis: Color extension for the @code{bussproofs} package
Description:

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.

Total packages: 1