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 Mathematik Proof |
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