mirrorcatalogs logo
QArea software outsourcing company Bughuntress software testing compny
The TeX Catalogue OnLine, Entry for lkproof, Ctan Edition

The TeX Catalogue Online


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: 2015-08-03

Go to http://custom-software-development.biz/ for software development
Powered by QArea Company and Bughuntress QA Lab