prover9-doc - LADR Deduction Library - Documentation
| Website: | http://www.cs.unm.edu/~mccune/prover9/ |
|---|---|
| License: | GPLv2 and GPLv2+ |
| Vendor: | Fedora Project |
- Description:
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.
Packages
| prover9-doc-200805a-5.fc11.i586 [82 KiB] |
Changelog
by Fedora Release Engineering (2009-02-26):
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild |