deb_control_files:
- control
- md5sums
deb_fields:
Architecture: all
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.
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Installed-Size: '3183'
Maintainer: Debian QA Group <packages@qa.debian.org>
Package: prover9-doc
Priority: optional
Section: doc
Source: prover9-manual
Suggests: prover9, ladr4-apps, python
Version: 0.0.200902a-2.1
srcpkg_name: prover9-manual
srcpkg_version: 0.0.200902a-2.1