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.
| Sources | /graphics/metapost/contrib/macros/drv |
| Documentation | |
| Version | 0.97 |
| Licenses | The LaTeX Project Public License |
| Copyright | 2009 Laurent Méhats |
| Maintainer | Laurent Méhats |
| Contained in | TeX Live as drv MiKTeX as drv |
| Topics | Tree |
Download the contents of this package in one zip archive (269.9k).
Announcements
Suggestions
Maybe you are interested in the following packages as well.
Community Comments