prover9-doc 0.0.200902a-2.1 (i386 binary) in ubuntu oracular
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.1
- Status:
- Published
- Component:
- universe
- Priority:
- Optional
Downloadable files
amd64 build of prover9-manual 0.0.200902a-2.1 in ubuntu hirsute PROPOSED produced
these files:
- prover9-doc_0.0.200902a-2.1_all.deb (837.2 KiB)
Package relationships
- Suggests: