Ankündigungen für LKproof
LKproof – LK Proof figure macros
The package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.
| Paket | LKproof |
| Version | 3.1 2005-11-24 |
| Copyright | 1990–2005 Makoto Tatsuta |
| Betreuer | Makoto Tatsuta |
Atom Atom-1.0-Feed mit Ankündigungen für das Paket LKproof.
RSS RSS-2.0-Feed mit Ankündigungen für das Paket LKproof.