Extra commands for bussproofs.sty
This package provides additional functionality for bussproofs.sty; specifically, it allows for typesetting of entire (sub)deductions.
Release | Stable | Testing |
---|---|---|
Fedora Rawhide | svn51299-48.fc36 | - |
Fedora 35 | svn51299-45.fc35 | - |
Fedora 34 | svn51299-38.fc34 | - |
You can contact the maintainers of this package via email at
texlive dash maintainers at fedoraproject dot org
.