Package: prover9-doc
Source: prover9-manual
Version: 0.0.200902a-2
Architecture: all
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian QA Group <packages@qa.debian.org>
Installed-Size: 3119
Suggests: prover9, ladr4-apps, python
Section: doc
Priority: optional
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Description: 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.
