CTAN Comprehensive TeX Archive Network

drv – Derivation trees with

A set of macros for typesetting derivation trees (such as used in sequent calculus, type inference, programming language semantics…).

No knowledge is needed to use these macros.

Sources/graphics/metapost/contrib/macros/drv
Documentation
Version0.97
LicensesThe Project Public License
Copyright2009 Laurent Méhats
MaintainerLaurent Méhats
Contained inTeX Live as drv
MiKTeX as drv
TopicsTree

Download the contents of this package in one zip archive (269.9k).

Community Comments

Loading...

Announcements

Here you can see a respective diagram in newer browsers.

more

Guest Book Sitemap Contact Contact Author