The TeX Catalogue Online

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 author is Laurent Méhats. The package is Copyright © 2009 Laurent Méhats.

License: lppl Version: 0.97 Catalogued: 2014-02-26