CTAN Comprehensive TeX Archive Network

Directory macros/latex/contrib/bussproofs-extra

README.md

bussproofs-extra

Additional functionality for bussproofs.sty. Specifically, it allows for typesetting of entire (sub)deductions.

To install, download the files, and run

latex bussproofs-extra.ins

To generate the documentation, run

pdflatex bussproofs-extra.dtx

This package is distributed under the terms of the LPPL 1.3c

Download the contents of this package in one zip archive (231.4k).

bussproofs-extra – Extra commands for bussproofs.sty

This package provides additional functionality for bussproofs.sty; specifically, it allows for typesetting of entire (sub)deductions.

Packagebussproofs-extra
Bug trackerhttps://github.com/OpenLogicProject/bussproofs-extra/issues
Repositoryhttps://github.com/OpenLogicProject/bussproofs-extra
Version0.4 2019-05-31
LicensesThe Project Public License 1.3c
Copyright2019 Richard Zach
MaintainerRichard Zach
Contained inTeX Live as bussproofs-extra
MiKTeX as bussproofs-extra
TopicsMaths
Proof
See alsobussproofs
...
Guest Book Sitemap Contact Contact Author