mirrorcatalogs logo
QArea software outsourcing company Bughuntress software testing compny
The TeX Catalogue OnLine, Entry for drv, Ctan Edition

The TeX Catalogue Online


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: 2015-08-03

Powered by QArea Company and Bughuntress QA Lab