prover9-doc-200911a-12.fc26.x86_64.rpm


Advertisement

Description

prover9-doc - LADR Deduction Library - Documentation

Property Value
Distribution Fedora Rawhide
Repository Fedora x86_64
Package name prover9-doc
Package version 200911a
Package release 12.fc26
Package architecture x86_64
Package type rpm
Installed size 313.52 KB
Download size 86.66 KB
Official Mirror dl.fedoraproject.org
Prover9 is an automated theorem prover for first-order and equational logic.
It is a successor of the Otter prover. Prover9 uses the inference techniques
of ordered resolution and paramodulation with literal selection.
This package provides documentation for Prover9, Mace4 and other associated
programs.

Alternatives

Package Version Architecture Repository
prover9-doc - - -

Requires

Name Value
prover9 = 200911a-12.fc26

Provides

Name Value
prover9-doc = 200911a-12.fc26
prover9-doc(x86-64) = 200911a-12.fc26

Download

Type URL
Binary Package prover9-doc-200911a-12.fc26.x86_64.rpm
Source Package prover9-200911a-12.fc26.src.rpm

Install Howto

Install the prover9-doc rpm package:

# dnf install prover9-doc

Files

Path
/usr/share/doc/prover9-doc/actions.html
/usr/share/doc/prover9-doc/advanced.html
/usr/share/doc/prover9-doc/attributes.html
/usr/share/doc/prover9-doc/auto.html
/usr/share/doc/prover9-doc/clause-properties.html
/usr/share/doc/prover9-doc/fof-prover9.html
/usr/share/doc/prover9-doc/glossary.html
/usr/share/doc/prover9-doc/goals.html
/usr/share/doc/prover9-doc/hints.html
/usr/share/doc/prover9-doc/index.html
/usr/share/doc/prover9-doc/inf-rules.html
/usr/share/doc/prover9-doc/input.html
/usr/share/doc/prover9-doc/install.html
/usr/share/doc/prover9-doc/intro.html
/usr/share/doc/prover9-doc/limits.html
/usr/share/doc/prover9-doc/loop.html
/usr/share/doc/prover9-doc/m4-arithmetic.html
/usr/share/doc/prover9-doc/m4-input.html
/usr/share/doc/prover9-doc/m4-interpformat.html
/usr/share/doc/prover9-doc/m4-isofilter.html
/usr/share/doc/prover9-doc/m4-options.html
/usr/share/doc/prover9-doc/mace4.html
/usr/share/doc/prover9-doc/manual.css
/usr/share/doc/prover9-doc/more-prep.html
/usr/share/doc/prover9-doc/nav.html
/usr/share/doc/prover9-doc/options.html
/usr/share/doc/prover9-doc/others.html
/usr/share/doc/prover9-doc/output.html
/usr/share/doc/prover9-doc/process-inf.html
/usr/share/doc/prover9-doc/production.html
/usr/share/doc/prover9-doc/prooftrans.html
/usr/share/doc/prover9-doc/prover9-5a-256t.gif
/usr/share/doc/prover9-doc/references.html
/usr/share/doc/prover9-doc/running.html
/usr/share/doc/prover9-doc/select.html
/usr/share/doc/prover9-doc/select2.html
/usr/share/doc/prover9-doc/semantics.html
/usr/share/doc/prover9-doc/syntax.html
/usr/share/doc/prover9-doc/talk-semantics.html
/usr/share/doc/prover9-doc/talk-software.html
/usr/share/doc/prover9-doc/term-order.html
/usr/share/doc/prover9-doc/weight.html
/usr/share/doc/prover9-doc/white-black.html

Changelog

See prover9-200911a-12.fc26.x86_64.rpm changelog.

See Also

Package Description
proxool-0.9.1-22.fc29.noarch.rpm Java connection pool library
proxool-javadoc-0.9.1-22.fc29.noarch.rpm Javadoc for proxool
proxychains-ng-4.12-3.fc29.x86_64.rpm Redirect connections through proxy servers
proxyfuzz-20110923-12.fc29.noarch.rpm Man-in-the-middle non-deterministic network fuzzer
proxysql-1.3.7-8.fc29.x86_64.rpm A high-performance MySQL proxy
proxytoys-1.0-12.fc29.noarch.rpm An implementation neutral API for creation of dynamic proxies
proxytoys-example-code-1.0-12.fc29.noarch.rpm ProxyToys Example Code
proxytoys-javadoc-1.0-12.fc29.noarch.rpm Javadoc for proxytoys
proxytoys-parent-1.0-12.fc29.noarch.rpm ProxyToys parent POM
proxytunnel-1.9.1-7.fc29.x86_64.rpm Tool to tunnel a connection through an standard HTTP(S) proxy
prozilla-2.0.4-18.fc22.x86_64.rpm Advanced Linux download manager
prozilla-devel-2.0.4-18.fc22.i686.rpm Development libraries and headers for prozilla
prozilla-devel-2.0.4-18.fc22.x86_64.rpm Development libraries and headers for prozilla
prunerepo-1.13-1.fc30.noarch.rpm Remove old packages from rpm-md repository
prwd-1.9-8.fc29.x86_64.rpm A tool to print a reduced working directory
Advertisement
Advertisement