Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

texlive-lplfitch-0.9-75712.1 RPM for noarch

From OpenMandriva Cooker for aarch64 / main / release

Name: texlive-lplfitch Distribution: OpenMandriva Lx
Version: 0.9 Vendor: OpenMandriva
Release: 75712.1 Build date: Sun Jul 12 10:34:37 2026
Group: Publishing Build host: altra-2.openmandriva.org
Size: 0 Source RPM: texlive-lplfitch-0.9-75712.1.src.rpm
Packager: bero <bero@lindev.ch>
Url: https://www.ctan.org/tex-archive/macros/latex/contrib/lplfitch
Summary: Fitch-style natural deduction proofs
 
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. (In fact, the prefix "lpl" in the package name stands
for "Language, Proof, and Logic".)

Provides

Requires

License

lppl1.3

Files

/usr/share/texmf-dist
/usr/share/texmf-dist/doc
/usr/share/texmf-dist/doc/latex
/usr/share/texmf-dist/doc/latex/lplfitch
/usr/share/texmf-dist/doc/latex/lplfitch/README
/usr/share/texmf-dist/doc/latex/lplfitch/lplfitch.pdf
/usr/share/texmf-dist/source
/usr/share/texmf-dist/source/latex
/usr/share/texmf-dist/source/latex/lplfitch
/usr/share/texmf-dist/source/latex/lplfitch/lplfitch.dtx
/usr/share/texmf-dist/source/latex/lplfitch/lplfitch.ins
/usr/share/texmf-dist/tex
/usr/share/texmf-dist/tex/latex
/usr/share/texmf-dist/tex/latex/lplfitch
/usr/share/texmf-dist/tex/latex/lplfitch/lplfitch.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Aug 30 22:13:05 2026