Menu
CTAN
Comprehensive TeX Archive Network
Cover Upload Browse Search

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
Doc­u­men­ta­tion
Ver­sion0.97
Li­censeThe LaTeX Project Public Li­cense
Copy­right2009 Lau­rent Méhats
Main­tainerLau­rent Méhats
Con­tained inTeXlive 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).

Guest Book Sitemap Contact