MyNixOS website logo
Description

Extra commands for bussproofs.sty.

This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.bussproofs-extra ]).