prover9-doc binary package in Ubuntu Xenial armhf

 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.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2015-10-22 15:20:22 UTC Published Ubuntu Xenial armhf release universe doc Optional 0.0.200902a-2
  • Published on 2015-10-22
  • Copied from ubuntu saucy-proposed i386 in Primary Archive for Ubuntu