ID | 10826 | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Build | texlive-2023-71.fc41 | ||||||||||||
Name | texlive-logicproof | ||||||||||||
Version | svn33254.0 | ||||||||||||
Release | 71.fc41 | ||||||||||||
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 | 2024-04-25 04:32:39 GMT | ||||||||||||
Size | 17.38 KB | ||||||||||||
caa7b9c42dc9571aabe97246f4d72804 | |||||||||||||
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 |
|