lkproof
LK Proof figure macros
See also proofs.
The author is Makoto Tatsuta. The package is Copyright © 1990-2005 Makoto Tatsuta.
License: gpl Version: 3.1, dated: 2005-11-24 Catalogued: 2018-02-03