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.
|License||The LaTeX Project Public License|
|Copyright||2009 Laurent Méhats|
|Contained in||TeXLive as drv|
|MiKTeX as drv|
mechanisms for drawing trees|
Download the contents of this package in one zip archive (269.9k).