drv
Derivation trees with MetaPost.
- Version:
- Copyright:
- License:
- Packaged on:
- 02/23/2011 14:47:35
- 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.