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.
- ebproof: Formal proofs in the style of sequent calculus
- ribbonproofs: Drawing ribbon proofs
- apxproof: Proofs in appendix
- autobreak: Simple line breaking of long formulae