Information for RPM texlive-lplfitch-11:svn31077.0.9-71.fc41.noarch.rpm
| ID | 8467 | |||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Build | texlive-2023-71.fc41 | |||||||||||||||||||||
| Name | texlive-lplfitch | |||||||||||||||||||||
| Version | svn31077.0.9 | |||||||||||||||||||||
| Release | 71.fc41 | |||||||||||||||||||||
| Epoch | 11 | |||||||||||||||||||||
| Arch | noarch | |||||||||||||||||||||
| Draft | False | |||||||||||||||||||||
| Summary | Fitch-style natural deduction proofs | |||||||||||||||||||||
| Description | The package provides macros for typesetting natural deduction proofs in "Fitch" style, with subproofs indented and offset by scope lines. The proofs from use of the package are in the format used in the textbook Language, Proof, and Logic by Dave Barker-Plummer, Jon Barwise, and John Etchemendy. | |||||||||||||||||||||
| Build Time | 2024-04-25 04:32:39 GMT | |||||||||||||||||||||
| Size | 17.24 KB | |||||||||||||||||||||
| 25c01b233e18066fb68d137ff58e7686 | ||||||||||||||||||||||
| License | LPPL-1.3c | |||||||||||||||||||||
| 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 |
|
|||||||||||||||||||||
