Filewatcher File Search File Search
Catalog
Content Search
» » » » »

prover9-doc

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.

Homepage:
Package version:0.0.200902a-1
Architecture:all
Distribution:Debian
Filename:prover9-doc_0.0.200902a-1_all.deb

/usr/share/doc/prover9-doc/changelog.Debian.gz

prover9-manual (0.0.200902a-1) unstable; urgency=low

  * New upstream release.
  * debian/examples: updated
  * debian/control: new Standards-Version

 -- Peter Collingbourne <peter@pcc.me.uk>  Sun, 15 Mar 2009 00:53:52 +0000

prover9-manual (0.0.200811a-1) unstable; urgency=low

  * New upstream release.
  * debian/examples: updated
  * debian/control: Vcs-Bzr uses nosmart+http protocol
  * debi
more»

/usr/share/doc/prover9-doc/copyright

This package was debianized by Peter Collingbourne <peter@pcc.me.uk> on
Sat, 11 Aug 2007 22:13:16 +0100.

It was downloaded from <http://www.cs.unm.edu/~mccune/mace4/manual-examples.html>

Upstream Author: 

    William McCune <mccune@cs.unm.edu>

Copyright: 

    Copyright (C) 2006, 2007 William McCune

License:

    The LADR Deduction Library is free software; you can redistribute it
    and/or 
more»

Browse inside prover9-doc_0.0.200902a-1_all.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (1)  65535+ mirrors

Download prover9-doc_0.0.200902a-1_all.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com