ID | 13880 | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Build | texlive-2023-71.fc41 | ||||||||||||
Name | texlive-lkproof | ||||||||||||
Version | svn20021.3.1 | ||||||||||||
Release | 71.fc41 | ||||||||||||
Epoch | 11 | ||||||||||||
Arch | noarch | ||||||||||||
Draft | False | ||||||||||||
Summary | LK Proof figure macros | ||||||||||||
Description | The package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams. | ||||||||||||
Build Time | 2024-04-25 04:32:39 GMT | ||||||||||||
Size | 16.39 KB | ||||||||||||
6e7fcbec0b9a746ecc8bd17cac046f57 | |||||||||||||
License | GPL-1.0-or-later | ||||||||||||
Buildroot | f41-build-16326-578 | ||||||||||||
Provides |
|
||||||||||||
Obsoletes | No Obsoletes | ||||||||||||
Conflicts | No Conflicts | ||||||||||||
Requires |
|
||||||||||||
Recommends | No Recommends | ||||||||||||
Suggests | No Suggests | ||||||||||||
Supplements | No Supplements | ||||||||||||
Enhances | No Enhances | ||||||||||||
Files |
|
||||||||||||
Component of | No Buildroots |