CTAN Comprehensive TeX Archive Network

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 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
TopicsProof
Maths
See alsobussproofs

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

Community Comments

Loading...

Announcements

Here you can see a respective diagram in newer browsers.

more

Package Links

Guest Book Sitemap Contact Contact Author