texlive-logicproof - Box proofs for propositional and predicate logic

Property Value
Distribution Fedora 28
Repository Fedora x86_64
Package filename texlive-logicproof-svn33254.0-42.fc28.2.noarch.rpm
Package name texlive-logicproof
Package version svn33254.0
Package release 42.fc28.2
Package architecture noarch
Package type rpm
Category Applications/Publishing
Homepage http://tug.org/texlive/
License LPPL 1.3
Maintainer -
Download size 37.00 KB
Installed size 4.81 KB
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.


Package Version Architecture Repository
texlive-logicproof-svn33254.0-52.fc28.2.noarch.rpm svn33254.0 noarch Fedora Updates
texlive-logicproof-svn33254.0-52.fc28.2.noarch.rpm svn33254.0 noarch Fedora Updates
texlive-logicproof-svn33254.0-42.fc28.2.noarch.rpm svn33254.0 noarch Fedora
texlive-logicproof - - -


Name Value
tex(array.sty) -
tex(ifthen.sty) -
tex-kpathsea -
texlive-base -
texlive-kpathsea-bin -


Name Value
tex(logicproof.sty) = 2016
tex-logicproof = 2016
texlive-logicproof = svn33254.0-42.fc28.2


Type URL
Mirror download-ib01.fedoraproject.org
Binary Package texlive-logicproof-svn33254.0-42.fc28.2.noarch.rpm
Source Package texlive-2016-42.20160520.fc28.src.rpm

Install Howto

Install texlive-logicproof rpm package:

# dnf install texlive-logicproof




2018-02-24 - Peter Robinson <pbrobinson@fedoraproject.org> 6:2016-42.20160520
- Drop patch disabling tests
2018-02-22 - Peter Robinson <pbrobinson@fedoraproject.org> 6:2016-41.20160520
- Bump the tl_rel which is the proper release used by all sub packages
2018-02-21 - Adam Williamson <awilliam@redhat.com> - 6:2016-40.20160520.3
- Rebuild with new GCC to fix #1546964 (tests still disabled for now)
2018-02-14 - David Tardon <dtardon@redhat.com> - 6:2016-40.20160520.2
- rebuild for poppler 0.62.0
2018-02-09 - Fedora Release Engineering <releng@fedoraproject.org> - 6:2016-40.20160520.1
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2018-01-16 - Than Ngo <than@redhat.com> - 6:2016-40.20160520
- Add missing dependencies for texlive-pdfbook2 
- Add BuildRequire libgs-devel for >= fedora 28
2017-11-30 - Pete Walter <pwalter@fedoraproject.org> - 6:2016-39.20160520
- Rebuild for ICU 60.1
2017-11-16 - Patrick Uiterwijk <puiterwijk@redhat.com> - 6:2016-38.20160520.1
- Bump to rebuild
2017-11-13 - Kalev Lember <klember@redhat.com> - 6:2016-38.20160520
- Rebuild once more
2017-11-12 - Kevin Fenzi <kevin@scrye.com> - 6:2016-37.20160520.2
- Rebuild again

See Also

Package Description
texlive-logicpuzzle-doc-svn34491.2.5-42.fc28.2.noarch.rpm Documentation for logicpuzzle
texlive-logicpuzzle-svn34491.2.5-42.fc28.2.noarch.rpm Typeset (grid-based) logic puzzles
texlive-logpap-doc-svn15878.0.6-42.fc28.2.noarch.rpm Documentation for logpap
texlive-logpap-svn15878.0.6-42.fc28.2.noarch.rpm Generate logarithmic graph paper with LaTeX
texlive-logreq-doc-svn19640.1.0-42.fc28.2.noarch.rpm Documentation for logreq
texlive-logreq-svn19640.1.0-42.fc28.2.noarch.rpm Support for automation of the LaTeX workflow
texlive-lollipop-bin-svn41133-42.20160520.fc28.noarch.rpm Binaries for lollipop
texlive-lollipop-doc-svn41438-42.fc28.2.noarch.rpm Documentation for lollipop
texlive-lollipop-svn41438-42.fc28.2.noarch.rpm TeX made easy
texlive-longfbox-doc-svn39028-42.fc28.2.noarch.rpm doc files of longfbox
texlive-longfbox-svn39028-42.fc28.2.noarch.rpm Draw framed boxes with standard CSS attributes that can break over multiple pages
texlive-longfigure-doc-svn34302.1.0-42.fc28.2.noarch.rpm Documentation for longfigure
texlive-longfigure-svn34302.1.0-42.fc28.2.noarch.rpm Provides a figure-like environment that break over pages
texlive-longnamefilelist-doc-svn27889.0.2-42.fc28.2.noarch.rpm Documentation for longnamefilelist
texlive-longnamefilelist-svn27889.0.2-42.fc28.2.noarch.rpm Tidy \listfiles with long file names