#

Search | Home | Alpha | Brief | Topical | Hierarchical

lkproof

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: 2006-11-29

- Visit
  - Visit a nearby CTAN:/macros/latex/contrib/lkproof. If this fails, try Cambridge.
  - Visit Cambridge:/macros/latex/contrib/lkproof
- Download
  - Download from a nearby CTAN (automatically identified).
  - Download from Cambridge.
- Visit the Package Home Page
- Documentation
  - Read documentation for this package from: http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/ndexamples/proofsty.html.
- Distributions
  - This package is included in MikTeX.