Verzeichnis macros/latex/contrib/lkproof
Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (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.
| Paket | LKproof |
| Home-Page | http://research.nii.ac.jp/~tatsuta/index-e.html |
| Version | 3.1 2005-11-24 |
| Lizenzen | GNU General Public License |
| Copyright | 1990–2005 Makoto Tatsuta |
| Betreuer | Makoto Tatsuta |
| Enthalten in | TeX Live als lkproof MiKTeX als lkproof |
| Themen | Logik |
| Siehe auch | proofs |
