texlive-logicproof - Box proofs for propositional and predicate logic

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


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

Install Howto

Install texlive-logicproof rpm package:

# dnf install texlive-logicproof




2018-08-13 - Tom Callaway <spot@fedoraproject.org> 6:2016-52.20160520
- update and cleanup hyperref package (bz1436737)
2018-07-10 - Tom Callaway <spot@fedoraproject.org> 6:2016-51.20160520
- remove Provides: tex(textcase.sty) from revtex4 (used to live there, now it is in textcase)
2018-07-07 - Tom Callaway <spot@fedoraproject.org> 6:2016-50.20160520
- fix updmap-map to reflect newtx changes so we do not have to regen in scriptlets (long and confusing)
2018-07-02 - Tom Callaway <spot@fedoraproject.org> 6:2016-49.20160520
- update newtxsf
- correct provides in newtx
2018-06-19 - Tom Callaway <spot@fedoraproject.org> 6:2016-48.20160520
- add fvextra
2018-06-07 - Tom Callaway <spot@fedoraproject.org> 6:2016-47.20160520
- add baekmuk
2018-06-04 - Tom Callaway <spot@fedoraproject.org> 6:2016-46.20160520
- add arphic-ttf
2018-05-22 - Tom Callaway <spot@fedoraproject.org> 6:2016-45.20160520
- update cleveref
2018-05-14 - Tom Callaway <spot@fedoraproject.org> 6:2016-44.20160520
- drop preview bits, provided by emacs-auctex
- update newtx to resolve (bz1469443)
2018-03-09 - Tom Callaway <spot@fedoraproject.org> 6:2016-43.20160520
- Remove the parts that are now in texlive-base
- drop dependency on cjk-gs-integrate (is not being included in F28+)

See Also

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