Directory macros/latex/contrib/lkproof
Download the contents of this package in one zip archive (253.6k).
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 |
| Home page | http://research.nii.ac.jp/~tatsuta/index-e.html |
| Version | 3.1 2005-11-24 |
| Licenses | GNU General Public License |
| Copyright | 1990–2005 Makoto Tatsuta |
| Maintainer | Makoto Tatsuta |
| Contained in | TeX Live as lkproof MiKTeX as lkproof |
| Topics | Logic |
| See also | proofs |
