An equational theorem prover based on PROLOG
It is a program that you can stuff a mathematical specification (in clausal logic with equality) and a hypothesis into, and which will then run forever. Very occasionally it will find a proof for the hypothesis!
- Author: Stephan Schulz <email@example.com>
- Installation Tree: /opt/CLIB
- Home URL: http://wwwjessen.informatik.tu-muenchen.de/~schulz/WORK/eprover.html
There are run-time dependencies that need to be installed first. Why not use depothelper to install them all in one go?
|Operating System||Architecture||Package Type||Package Size||Date Archived||View Contents?||Download|
|32-bit PA-RISC 1.1||Gzipped|
|317 K||17 Dec 1999||Yes||HTTP FTP|
|600 K||17 Dec 1999||Yes||HTTP FTP|