| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: texlive-logicproof | Distribution: Fedora Project |
| Version: svn33254 | Vendor: Fedora Project |
| Release: 1.fc44 | Build date: Wed Feb 4 16:11:55 2026 |
| Group: Unspecified | Build host: buildvm-x86-04.rdu3.fedoraproject.org |
| Size: 79583 | Source RPM: texlive-collection-mathscience-svn77507-1.fc44.src.rpm |
| Packager: Fedora Project | |
| Url: http://tug.org/texlive/ | |
| Summary: Box proofs for propositional and predicate logic | |
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.
LPPL-1.3c
* Thu Jan 29 2026 Tom Callaway <spot@fedoraproject.org> - 12:svn77507-1 - update to svn77507, fix descriptions, licensing, update components * Wed Oct 08 2025 Tom Callaway <spot@fedoraproject.org> - 12:svn76005-2 - regen, no deps from docs * Tue Sep 16 2025 Tom Callaway <spot@fedoraproject.org> - 12:svn76005-1 - Update to TeX Live 2025
/usr/share/licenses/texlive-logicproof /usr/share/licenses/texlive-logicproof/lppl1.3c.txt /usr/share/texlive/texmf-dist/doc/latex/logicproof /usr/share/texlive/texmf-dist/doc/latex/logicproof/README /usr/share/texlive/texmf-dist/doc/latex/logicproof/logicproof.pdf /usr/share/texlive/texmf-dist/tex/latex/logicproof /usr/share/texlive/texmf-dist/tex/latex/logicproof/logicproof.sty
Generated by rpm2html 1.8.1
Fabrice Bellet, Mon Aug 10 11:50:16 2026