| ID | 114472 | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Build | texlive-2023-76.fc42 | |||||||||
| Name | texlive-logicproof | |||||||||
| Version | svn33254.0 | |||||||||
| Release | 76.fc42 | |||||||||
| Epoch | 11 | |||||||||
| Arch | noarch | |||||||||
| Draft | False | |||||||||
| Summary | Box proofs for propositional and predicate logic | |||||||||
| Description | A common style of proof used in propositional and predicate logic is Fitch proofs, in which each line of the proof has a statement and a justification, and subproofs within a larger proof have boxes around them. The package provides environments for typesetting such proofs and boxes. It creates proofs in a style similar to that used in "Logic in Computer Science" by Huth and Ryan. | |||||||||
| Build Time | 2025-01-29 15:44:48 GMT | |||||||||
| Size | 16.32 KB | |||||||||
| 034577b924a3ac3d1f138997eb1c37e9 | ||||||||||
| License | LPPL-1.3c | |||||||||
| 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 |
