Settings Help
CTAN
Comprehensive TeX Archive Network
Home Upload Browse

Direc­tory tex-archive/macros/latex/contrib/lkproof

Files

Name Size Date Notes
lkproof-doc.pdf 256379 2010-09-25 07:09:09
lkproof-doc.tex 2704 2010-09-25 07:09:10
proof.sty 7239 2005-11-24 01:00:00
proofeg.tex 1752 2002-04-25 01:00:00

Down­load the com­plete con­tents of this di­rec­tory 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.

Doc­u­men­ta­tion
Home pagehttp://re­search.nii.ac.jp/~tat­suta/proof-sty.html
Ver­sion3.1
Li­censeGNU Gen­eral Public Li­cense
Copy­right1990-1997 Makoto Tat­suta
Main­tainerMakoto Tat­suta
Con­tained inTeXLive as lkproof
MiKTeX as lkproof
Topics type­set­ting lo­gi­cian’s dis­cus­sions
See also proofs
Guest Book Sitemap Contact 2014-04-19 06:25 CEST