bussproofs-extra – Extra commands for bussproofs.sty
This package provides additional functionality for bussproofs.sty; specifically, it allows for typesetting of entire (sub)deductions.
| Quellen | /macros/latex/contrib/bussproofs-extra |
| Dokumentation | |
| Fehlermeldungen | https://github.com/OpenLogicProject/bussproofs-extra/issues |
| Repository | https://github.com/OpenLogicProject/bussproofs-extra |
| Version | 0.4 2019-05-31 |
| Lizenzen | The LaTeX Project Public License 1.3c |
| Copyright | 2019 Richard Zach |
| Betreuer | Richard Zach |
| Enthalten in | TeX Live als bussproofs-extra MiKTeX als bussproofs-extra |
| Themen | Proof Mathematik |
| Siehe auch | bussproofs |
Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (231.4k).
Ankündigungen
Vorschläge
Vielleicht sind auch die folgenden Pakete von Interesse.
Bewertungskommentare