Document: prover9-doc
Title: Prover9 Manual
Author: William McCune
Abstract: This manual describes the
 usage of Prover9, Mace4 and other
 programs based upon the LADR deduction
 library.
Section: Science/Mathematics

Format: HTML
Index: /usr/share/doc/prover9-doc/html/index.html
Files: /usr/share/doc/prover9-doc/html/*.html

Format: PDF
Files: /usr/share/doc/prover9-doc/finalbook.pdf.gz
