bussproofs-extra – Extra commands for bussproofs.sty
This package provides additional functionality for bussproofs.sty; specifically, it allows for typesetting of entire (sub)deductions.
|Licenses||The LaTeX Project Public License 1.3c|
|Copyright||2019 Richard Zach|
|Contained in||TeX Live as bussproofs-extra|
MiKTeX as bussproofs-extra
Download the contents of this package in one zip archive (231.4k).
Maybe you are interested in the following packages as well.
- bussproofs: Proof trees in the style of the sequent calculus
- proof-at-the-end: A package to move proofs to appendix
- ribbonproofs: Drawing ribbon proofs
- glossaries-extra: An extension to the glossaries package