bussproofs-extra – Extra commands for bussproofs.sty
This package provides additional functionality for bussproofs.sty; specifically, it allows for typesetting of entire (sub)deductions.
| Sources | /macros/latex/contrib/bussproofs-extra |
| Documentation | |
| Bug tracker | https://github.com/OpenLogicProject/bussproofs-extra/issues |
| Repository | https://github.com/OpenLogicProject/bussproofs-extra |
| Version | 0.4 2019-05-31 |
| Licenses | The LaTeX Project Public License 1.3c |
| Copyright | 2019 Richard Zach |
| Maintainer | Richard Zach |
| Contained in | TeX Live as bussproofs-extra MiKTeX as bussproofs-extra |
| Topics | Proof Maths |
| See also | bussproofs |
Download the contents of this package in one zip archive (231.4k).
Announcements
Suggestions
Maybe you are interested in the following packages as well.
Community Comments