Settings Help
Comprehensive TeX Archive Network
Home Upload Browse

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.

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 2014-04-18 20:12 CEST