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.
- calculation: Typesetting reasoned calculations, also called calculational proofs
- prftree: Macros for building proof trees
- ebproof: Formal proofs in the style of sequent calculus
- upgreek: Upright Greek letters