prover9-doc 0.0.200902a-2 (amd64 binary) in ubuntu bionic
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.
Details
- Package version:
- 0.0.200902a-2
- Status:
- Published
- Component:
- universe
- Priority:
- Optional
Downloadable files
i386 build of prover9-manual 0.0.200902a-2 in ubuntu saucy PROPOSED produced
these files:
- prover9-doc_0.0.200902a-2_all.deb (944.0 KiB)
Package relationships
- Suggests: