Announcements for LKproof
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 |
Atom Atom 1.0 feed with announcements for package LKproof.
RSS RSS 2.0 feed with announcements for package LKproof.