2832036fe9
The package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.
2 lines
107 B
Text
2 lines
107 B
Text
@comment $NetBSD: PLIST,v 1.1 2015/04/21 22:16:33 markd Exp $
|
|
share/texmf-dist/tex/latex/lkproof/proof.sty
|