CTAN Comprehensive TeX Archive Network

bussproofs-extra – Extra commands for bussproofs.sty

This pack­age pro­vides ad­di­tional func­tion­al­ity for bussproofs.sty; specif­i­cally, it al­lows for type­set­ting of en­tire (sub)de­duc­tions.

Sources/macros/latex/contrib/bussproofs-extra
Doc­u­men­ta­tion
Bug trackerhttps://github.com/OpenLog­icPro­ject/bussproofs-ex­tra/is­sues
Re­pos­i­toryhttps://github.com/OpenLog­icPro­ject/bussproofs-ex­tra
Ver­sion0.3 2019-04-04
Li­censesThe Project Public Li­cense 1.3c
Copy­right2019 Richard Zach
Main­tainerRichard Zach
Con­tained inTeX Live as bussproofs-ex­tra
MiKTeX as bussproofs-ex­tra
TopicsProof
Maths
See alsobussproofs

Down­load the con­tents of this pack­age in one zip archive (232.5k).

Com­mu­nity Com­ments

Load­ing...

An­nounce­ments

Here you can see a re­spec­tive di­a­gram in newer browsers.

more

Pack­age Links

Guest Book Sitemap Contact Contact Author