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

texlive-logicproof-33254-1 RPM for noarch

From OpenMandriva Cooker for aarch64 / main / release

Name: texlive-logicproof Distribution: OpenMandriva Lx
Version: 33254 Vendor: OpenMandriva
Release: 1 Build date: Sun Jul 12 10:30:19 2026
Group: Publishing Build host: altra-1.openmandriva.org
Size: 0 Source RPM: texlive-logicproof-33254-1.src.rpm
Packager: bero <bero@lindev.ch>
Url: https://www.ctan.org/tex-archive/macros/latex/contrib/logicproof
Summary: Box proofs for propositional and predicate logic
 
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.

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/logicproof
/usr/share/texmf-dist/doc/latex/logicproof/README
/usr/share/texmf-dist/doc/latex/logicproof/logicproof.pdf
/usr/share/texmf-dist/source
/usr/share/texmf-dist/source/latex
/usr/share/texmf-dist/source/latex/logicproof
/usr/share/texmf-dist/source/latex/logicproof/logicproof.dtx
/usr/share/texmf-dist/source/latex/logicproof/logicproof.ins
/usr/share/texmf-dist/tex
/usr/share/texmf-dist/tex/latex
/usr/share/texmf-dist/tex/latex/logicproof
/usr/share/texmf-dist/tex/latex/logicproof/logicproof.sty

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Aug 10 22:16:11 2026