CTAN Comprehensive TeX Archive Network

Directory macros/latex/contrib/lkproof

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

LKproof – LK Proof figure macros

The package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.

Home pagehttp://research.nii.ac.jp/~tatsuta/index-e.html
Version3.1 2005-11-24
LicensesGNU General Public License
Copyright1990–2005 Makoto Tatsuta
MaintainerMakoto Tatsuta
Contained inTeX Live as lkproof
MiKTeX as lkproof
See alsoproofs
Guest Book Sitemap Contact Contact Author