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: 2014-05-12