texlive-logicproof-svn33254.0-52.fc28.2.noarch.rpm


Advertisement

Description

texlive-logicproof - Box proofs for propositional and predicate logic

Property Value
Distribution Fedora 28
Repository Fedora Updates i386
Package name texlive-logicproof
Package version svn33254.0
Package release 52.fc28.2
Package architecture noarch
Package type rpm
Installed size 23.47 KB
Download size 44.17 KB
Official Mirror download-ib01.fedoraproject.org
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.

Alternatives

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

Requires

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

Provides

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

Download

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

Files

Path
/usr/share/licenses/texlive-logicproof/lppl1.3.txt
/usr/share/texlive/texmf-dist/tex/latex/logicproof/logicproof.sty

Changelog

See texlive-2016-52.20160520.fc28.noarch.rpm changelog.

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