drv – Derivation trees with METAPOST
A set of METAPOST macros for typesetting derivation trees (such as used in sequent calculus, type inference, programming language semantics…).
No METAPOST knowledge is needed to use these macros.
Quellen | /graphics/metapost/contrib/macros/drv |
Dokumentation | |
Version | 0.97 |
Lizenzen | The LaTeX Project Public License |
Copyright | 2009 Laurent Méhats |
Betreuer | Laurent Méhats |
Enthalten in | TeX Live als drv MiKTeX als drv |
Themen | Bäume |
Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (269.9k).
Ankündigungen
Vorschläge
Vielleicht sind auch die folgenden Pakete von Interesse.
Bewertungskommentare