Version:
Copyright:
License:
Packaged on:
2/23/2011 2:47:35 PM
Number of files:
15
Size on disk:
513.43 kB

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.