prftree – Macros for building proof trees
A package to typeset proof trees for natural deduction calculi, sequent-like calculi, and similar.
| Quellen | /macros/latex/contrib/prftree |
| Dokumentation | |
| Version | 1.6 2019-06-19 |
| Lizenzen | GNU General Public License |
| Betreuer | Marco Benini |
| Enthalten in | TeX Live als prftree MiKTeX als prftree |
| Themen | Bäume Proof Mathematik |
| Siehe auch | proofs |
Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (366.7k).
Ankündigungen
Vorschläge
Vielleicht sind auch die folgenden Pakete von Interesse.
Bewertungskommentare