tatsuta's proof macros
Date: October 11, 2006 4:57:57 PM CEST
these macros have been moved from ctan directory
macros/latex/contrib/proof
to directory
macros/latex/contrib/lkproof
there are several reasons why this is desirable; from ctan's point of
view, it reduces the number of confusing name clashes.
i have taken the opportunity of updating the package, from the author's
web site in japan, to the current version 3.1.
Robin Fairbairns
For the CTAN team
LKproof – LK Proof figure macros
The package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.
| Package | LKproof |
| Version | 3.1 2005-11-24 |
| Copyright | 1990–2005 Makoto Tatsuta |
| Maintainer | Makoto Tatsuta |