| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2013-03-30 | eprover 1.7 | Brett Koonce | |
| Signed-off-by: Jack Nagel <jacknagel@gmail.com> | |||
| 2012-08-05 | eprover 1.6 | Brett Koonce | |
| Closes #13976. Signed-off-by: Adam Vandenberg <flangy@gmail.com> | |||
| 2012-03-10 | The E Theorem Prover 1.4 | Libor 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> | |||
 |
index : homebrew | |
| :beer: The missing package manager for OS X. |
| aboutsummaryrefslogtreecommitdiffstats |