prover9-doc binary package in Ubuntu Xenial arm64

 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 arm64 release universe doc Optional 0.0.200902a-2
  • Published on 2015-10-22
  • Copied from ubuntu saucy-proposed i386 in Primary Archive for Ubuntu