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