texlive-bussproofs-extra
Extra commands for bussproofs.sty

This package provides additional functionality for bussproofs.sty; specifically, it allows for typesetting of entire (sub)deductions.

LPPL-1.0

To download packages, you need to log in and have a valid subscription.

Please select a product to see the available package versions:

Loading package downloads...