Directory 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 |
Download the complete
contents of this directory 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.
| Documentation |
Summary documentation Details of usage, from author's web site |
| Home page | http://research.nii.ac.jp/~tatsuta/proof-sty.html |
| Version | 3.1 |
| License | GNU General Public License |
| Copyright | 1990-1997 Makoto Tatsuta |
| Maintainer | Makoto Tatsuta |
| Contained in | TeXLive as lkproof |
| MiKTeX as lkproof | |
| Topics |
typesetting logician’s discussions |
| See also |
proofs |