ID | 8907 | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Build | texlive-2023-71.fc41 | ||||||||||||
Name | texlive-prftree | ||||||||||||
Version | svn54080 | ||||||||||||
Release | 71.fc41 | ||||||||||||
Epoch | 11 | ||||||||||||
Arch | noarch | ||||||||||||
Draft | False | ||||||||||||
Summary | Macros for building proof trees | ||||||||||||
Description | A package to typeset proof trees for natural deduction calculi, sequent-like calculi, and similar. | ||||||||||||
Build Time | 2024-04-25 04:32:39 GMT | ||||||||||||
Size | 25.58 KB | ||||||||||||
93e2e084c245ecebd2a4d342be5f7bec | |||||||||||||
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 |
|