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