Path to this page:
./
print/tex-lkproof,
LK Proof figure macros
Branch: pkgsrc-2022Q1,
Version: 3.1,
Package name: tex-lkproof-3.1,
Maintainer: markdThe package defines a pair of commands \infer and \deduce, that
are used in constructing LK proof diagrams.
Master sites: (Expand)
Version history: (Expand)
- (2022-03-31) Package added to pkgsrc.se, version tex-lkproof-3.1 (created)