Binary package “prover9-doc” in ubuntu oracular
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.
Source package
Published versions
- prover9-doc 0.0.200902a-2.1 in amd64 (Release)
- prover9-doc 0.0.200902a-2.1 in arm64 (Release)
- prover9-doc 0.0.200902a-2.1 in armhf (Release)
- prover9-doc 0.0.200902a-2.1 in i386 (Release)
- prover9-doc 0.0.200902a-2.1 in ppc64el (Release)
- prover9-doc 0.0.200902a-2.1 in riscv64 (Release)
- prover9-doc 0.0.200902a-2.1 in s390x (Release)