LK Proof figure macros.
The package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.
See also proofs.
The author is Makoto Tatsuta. The package is Copyright © 1990-1997 Makoto Tatsuta.
License: gpl Version: 3.1 Catalogued: 2012-07-07
Visit
Visit Dante:/macros/latex/contrib/lkproof
Download
Visit the Package Home Page
Documentation
Summary documentation: lkproof-doc.pdf.
Details of usage, from author's web site: http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/ndexamples/proofsty.html.
Distributions
This package is included in MikTeX.