CTAN
Comprehensive TeX Archive Network

LKproof – LK Proof figure 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.

Sources /macros/latex/contrib/lkproof
Doc­u­men­ta­tion
Home page http://re­search.nii.ac.jp/~tat­suta/in­dex-e.html
Ver­sion 3.1
Li­cense GNU Gen­eral Public Li­cense
Main­tainer Makoto Tat­suta
Con­tained in TeX Live as lkproof
MiKTeX as lkproof
Topics type­set­ting lo­gi­cian’s dis­cus­sions
See also proofs

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

An­nounce­ments

Here you can see a re­spec­tive di­a­gram in newer browsers.

more

Guest Book Sitemap Contact Contact Author