The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...

The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.

RPM resource texlive-logicproof

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. date: 2016-06-24 17:18:15 +0000

Found 4 sites for texlive-logicproof

• https://www.tug.org/texlive/
• http://www.ctan.org/tex-archive/macros/latex/contrib/logicproof
• http://tug.org/texlive/
• http://www.tug.org/texlive/

Found 35 RPM for texlive-logicproof

Generated by rpm2html 1.6

Fabrice Bellet