CTAN Comprehensive TeX Archive Network

Direc­tory macros/latex/contrib/lkproof

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

LKproof – LK Proof fig­ure macros

The pack­age de­fines a pair of com­mands \in­fer and \de­duce, that are used in con­struct­ing LK proof di­a­grams.

Home pagehttp://re­search.nii.ac.jp/~tat­suta/in­dex-e.html
Ver­sion3.1 2005-11-24
Li­censesGNU Gen­eral Public Li­cense
Copy­right1990–2005 Makoto Tat­suta
Main­tainerMakoto Tat­suta
Con­tained inTeX Live as lkproof
MiKTeX as lkproof
See alsoproofs
Guest Book Sitemap Contact Contact Author