LKproof – LK Proof figure macros
The package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.
| Sources | /macros/latex/contrib/lkproof |
| Documentation | |
| Home page | http://research.nii.ac.jp/~tatsuta/index-e.html |
| Version | 3.1 2005-11-24 |
| Licenses | GNU General Public License |
| Copyright | 1990–2005 Makoto Tatsuta |
| Maintainer | Makoto Tatsuta |
| Contained in | TeX Live as lkproof MiKTeX as lkproof |
| Topics | Logic |
| See also | proofs |
Download the contents of this package in one zip archive (253.6k).
Announcements
Suggestions
Maybe you are interested in the following packages as well.
Community Comments