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 | |
| 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 Tagged PDF – partially compatible |
| 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