aboutsummaryrefslogtreecommitdiffstats
path: root/Library/Formula/eprover.rb
AgeCommit message (Collapse)Author
2014-02-24Convert all 'def test' formulae to 'test do'Ted Pennings
Closes #26942. Closes #26946. Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2013-08-18eprover 1.8Brett Koonce
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2013-03-30eprover 1.7Brett Koonce
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
2012-08-05eprover 1.6Brett Koonce
Closes #13976. Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2012-03-10The E Theorem Prover 1.4Libor Wagner
"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." [http://www4.informatik.tu-muenchen.de/~schulz/E/E.html] Signed-off-by: Adam Vandenberg <flangy@gmail.com>
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 16:49:08 +0000