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

texlive-lplfitch-31077-1 RPM for noarch

From OpenMandriva Cooker for x86_64 / main / release

Name: texlive-lplfitch Distribution: OpenMandriva Lx
Version: 31077 Vendor: OpenMandriva
Release: 1 Build date: Sun Nov 13 02:48:23 2022
Group: Publishing Build host: ryzen9-4.openmandriva.org
Size: 262009 Source RPM: texlive-lplfitch-31077-1.src.rpm
Packager: bero <bero@lindev.ch>
Url: http://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.

Provides

Requires

License

LPPL1.3

Files

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

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed May 1 23:04:55 2024