Comprehensive TeX Archive Network

drv – Derivation trees with

A set of macros for type­set­ting deriva­tion trees (such as used in se­quent cal­cu­lus, type in­fer­ence, pro­gram­ming lan­guage se­man­tics…).

No knowl­edge is needed to use these macros.

Sources /graphics/metapost/contrib/macros/drv
Ver­sion 0.97
Li­cense The Project Public Li­cense
Main­tainer Lau­rent Méhats
Con­tained in TeX Live as drv
MiKTeX as drv
Topics mech­a­nisms for draw­ing trees

Down­load the con­tents of this pack­age in one zip archive (269.9k).


Here you can see a re­spec­tive di­a­gram in newer browsers.


Guest Book Sitemap Contact Contact Author