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.
- prftree: Macros for building proof trees
- natded: Typeset natural deduction proofs
- fixmath: Make maths comply with ISO 31-0:1992 to ISO 31-13:1992
- gensymb: Generic symbols for both text and math mode