Package: prover9-doc (0.0.200902a-2.1)

Links for prover9-doc

Trisquel Resources:

Install using apturl
Entry at directory.fsf.org
Bug Reports
Changelog
Copyright File

Download Source Package prover9-manual:

[prover9-manual_0.0.200902a-2.1.dsc]
[prover9-manual_0.0.200902a.orig.tar.gz]
[prover9-manual_0.0.200902a-2.1.debian.tar.xz]

Maintainer:

Debian QA Group

Original Maintainer:

Debian QA Group

External Resources:

Homepage [www.cs.unm.edu]

Similar packages:

libladr4
ladr4-apps
libladr-dev
prover9-mace4
alt-ergo
spass
libcvc4-7
libcvc4-5
libcvc4-4
libcvc4parser7
libcvc4parser5

documentation for Prover9 and associated programs

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.

Other Packages Related to prover9-doc

depends

recommends

suggests

sug: ladr4-apps

Package not available
sug: prover9

Package not available
sug: python

Package not available

Download prover9-doc

Download for all available architectures
Architecture	Package Size	Installed Size	Files
all	837.2 kB	3183 kB	[list of files]

Sections