CTAN Comprehensive TeX Archive Network

tat­suta's proof macros

Date: Oc­to­ber 11, 2006 4:57:57 PM CEST
these macros have been moved from ctan di­rec­tory macros/la­tex/con­trib/proof to di­rec­tory macros/la­tex/con­trib/lkproof there are sev­eral rea­sons why this is de­sir­able; from ctan's point of view, it re­duces the num­ber of con­fus­ing name clashes. i have taken the op­por­tu­nity of up­dat­ing the pack­age, from the au­thor's web site in japan, to the cur­rent ver­sion 3.1. Robin Fair­bairns For the CTAN team

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.

Ver­sion3.1 2005-11-24
Copy­right1990–2005 Makoto Tat­suta
Main­tainerMakoto Tat­suta



Guest Book Sitemap Contact Contact Author