./print/tex-lkproof, LK Proof figure macros

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: pkgsrc-2022Q3, Version: 3.1, Package name: tex-lkproof-3.1, Maintainer: markd

The package defines a pair of commands \infer and \deduce, that
are used in constructing LK proof diagrams.


Master sites: (Expand)


Version history: (Expand)