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.
The LaTeX Project Public License
|Copyright||2009 Laurent Méhats
|Contained in||TeX Live as drv|
|MiKTeX as drv|
mechanisms for drawing trees
Download the contents of this package in one zip archive (269.9k).
Maybe you are interested in the following packages as well.
- luatex-def: LuaTeX option file for color and graphics
- cmarrows: METAPOST arrows and braces in the Computer Modern style
- hatching: METAPOST macros for hatching interior of closed paths
- interpol: Add interpolation to METAPOST graph package