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 author is Laurent Méhats. The package is Copyright © 2009 Laurent Méhats.
License: lppl Version: 0.95 Catalogued: 2010-01-11
Visit
Visit Dante:/graphics/metapost/contrib/macros/drv
Download
Documentation
User guide: drv-guide.pdf.
Distributions