LKproof – LK Proof figure macros
The package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.
| CTAN path | /macros/latex/contrib/lkproof |
|---|---|
| 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 |