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 |
|