texlive-lplfitch-svn31077.0.9-52.fc28.2.noarch.rpm


Advertisement

Description

texlive-lplfitch - Fitch-style natural deduction proofs

Property Value
Distribution Fedora 28
Repository Fedora Updates i386
Package name texlive-lplfitch
Package version svn31077.0.9
Package release 52.fc28.2
Package architecture noarch
Package type rpm
Installed size 22.74 KB
Download size 44.00 KB
Official Mirror download-ib01.fedoraproject.org
The package provides macros for typesetting natural deduction
proofs in "Fitch" style, with subproofs indented and offset by
scope lines. The proofs from use of the package are in the
format used in the textbook Language, Proof, and Logic by Dave
Barker-Plummer, Jon Barwise, and John Etchemendy.

Alternatives

Package Version Architecture Repository
texlive-lplfitch-svn31077.0.9-52.fc28.2.noarch.rpm svn31077.0.9 noarch Fedora Updates
texlive-lplfitch-svn31077.0.9-42.fc28.2.noarch.rpm svn31077.0.9 noarch Fedora
texlive-lplfitch-svn31077.0.9-42.fc28.2.noarch.rpm svn31077.0.9 noarch Fedora
texlive-lplfitch - - -

Requires

Name Value
tex-kpathsea -
texlive-base -
texlive-kpathsea-bin -

Provides

Name Value
tex(lplfitch.sty) = 2016
tex-lplfitch = 2016
texlive-lplfitch = svn31077.0.9-52.fc28.2

Download

Type URL
Binary Package texlive-lplfitch-svn31077.0.9-52.fc28.2.noarch.rpm
Source Package texlive-2016-52.20160520.fc28.src.rpm

Install Howto

Install texlive-lplfitch rpm package:

# dnf install texlive-lplfitch

Files

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

Changelog

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

See Also

Package Description
texlive-lps-doc-svn21322.0.7-52.fc28.2.noarch.rpm Documentation for lps
texlive-lps-svn21322.0.7-52.fc28.2.noarch.rpm Class for "Logic and Philosophy of Science"
texlive-lroundrect-doc-svn39804-52.fc28.2.noarch.rpm doc files of lroundrect
texlive-lroundrect-svn39804-52.fc28.2.noarch.rpm LaTeX macros for utilizing the roundrect MetaPost routines
texlive-lsc-doc-svn15878.0-52.fc28.2.noarch.rpm Documentation for lsc
texlive-lsc-svn15878.0-52.fc28.2.noarch.rpm Typesetting Live Sequence Charts
texlive-lshort-bulgarian-doc-svn15878.0-52.fc28.2.noarch.rpm Documentation for lshort-bulgarian
texlive-lshort-chinese-doc-svn41405-52.fc28.2.noarch.rpm Documentation for lshort-chinese
texlive-lshort-czech-doc-svn29803.4.27-52.fc28.2.noarch.rpm Documentation for lshort-czech
texlive-lshort-dutch-doc-svn15878.1.3-52.fc28.2.noarch.rpm Documentation for lshort-dutch
texlive-lshort-english-doc-svn37892.5.0.5-52.fc28.2.noarch.rpm Documentation for lshort-english
texlive-lshort-estonian-doc-svn39323-52.fc28.2.noarch.rpm doc files of lshort-estonian
texlive-lshort-finnish-doc-svn15878.0-52.fc28.2.noarch.rpm Documentation for lshort-finnish
texlive-lshort-french-doc-svn23332.5.01fr_0-52.fc28.2.noarch.rpm Documentation for lshort-french
texlive-lshort-german-doc-svn37499.3.0a-52.fc28.2.noarch.rpm Documentation for lshort-german
Advertisement
Advertisement