| 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.0 | Vendor: Fedora Project |
| Release: 76.fc42 | Build date: Wed Jan 29 16:44:48 2025 |
| Group: Unspecified | Build host: buildvm-ppc64le-25.iad2.fedoraproject.org |
| Size: 24035 | Source RPM: texlive-2023-76.fc42.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
* Wed Jan 29 2025 Than Ngo <than@redhat.com> - 11:2023-76 - Fixed rhbz#2271057 - Upgrade biblatex to 3.20 * Sun Jan 19 2025 Fedora Release Engineering <releng@fedoraproject.org> - 11:2023-75 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Mon Sep 30 2024 Than Ngo <than@redhat.com> - 11:2023-74 - fixed rhbz#2314476, missing dependencies for package texlive-europasscv - fixed rhbz#2295803, Chessboard requires skaknew for a font * Sat Jul 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 11:2023-72 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Sat Jan 27 2024 Fedora Release Engineering <releng@fedoraproject.org> - 11:2023-71 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Thu Jan 04 2024 Tom Callaway <spot@fedoraproject.org> - 11:2023-70 - fix missing tikz dependencies for tikzlings subpackage (bz2255556) * Thu Mar 30 2023 Jerry James <loganjerry@gmail.com> - 11:2023-69 - Remove unnecessary dependency on fontawesome-fonts * Tue Mar 28 2023 Tom Callaway <spot@fedoraproject.org> - 11:2023-68 - fix broken dependencies in texlive-naive-ebnf and texlive-jwjournal (bz2181838) * Thu Mar 23 2023 Tom Callaway <spot@fedoraproject.org> - 11:2023-67 - Update to TeXLive 2023 - No longer in TeXLive: elegantbook, elegantnote, elegantpaper, tablestyles, pgf-cmykshadings - soulutf is now part of soul - expkv-* became expkv-bundle * Thu Mar 09 2023 Tom Callaway <spot@fedoraproject.org> - 10:2022-66 - update biblatex to 3.19 (svn66405) (bz2176089)
/usr/share/licenses/texlive-logicproof /usr/share/licenses/texlive-logicproof/lppl1.3.txt /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, Tue Feb 11 03:47:57 2025