Description
Extra commands for bussproofs.sty.
This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.bussproofs-extra ]).
package
bussproofs-extra
Metadata
Version
0.4Extra commands for bussproofs.sty.
This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.bussproofs-extra ]).
0.4