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.
| CTAN path | /graphics/metapost/contrib/macros/drv |
|---|---|
| Documentation |
Readme User guide |
| Version | 0.97 |
| License | The LaTeX Project Public License |
| Copyright | 2009 Laurent Méhats |
| Maintainer | Laurent Méhats |
| Contained in | TeXLive as drv |
| MiKTeX as drv | |
| Topics |
mechanisms for drawing trees |
