Download eprover JAR file with all dependencies
eprover from group org.eprover (version 1.6)
E is a theorem prover for full first-order logic with equality. It accepts a problem specification, typically consisting of a number of first-order clauses or formulas, and a conjecture, again either in clausal or full first-order form. The system will then try to find a formal proof for the conjecture, assuming the axioms.
0 downloads
Artifact eprover
Group org.eprover
Version 1.6
Last update 21. November 2012
Organization not specified
URL http://www.eprover.org
License GNU General Public License, version 2
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.eprover
Version 1.6
Last update 21. November 2012
Organization not specified
URL http://www.eprover.org
License GNU General Public License, version 2
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)