diff options
| author | Libor Wagner | 2011-10-06 21:56:15 +0200 |
|---|---|---|
| committer | Adam Vandenberg | 2012-03-10 13:57:21 -0800 |
| commit | f1bf1ee22b23fad7a2d936d65541f48adfc3b2da (patch) | |
| tree | dc739335167343606011b43cc0bb229e2bb66eca /Library/Formula/zsync.rb | |
| parent | dbfc5a9326bae9e5c07e541e245d01bc77832708 (diff) | |
| download | homebrew-f1bf1ee22b23fad7a2d936d65541f48adfc3b2da.tar.bz2 | |
The E Theorem Prover 1.4
"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>
Diffstat (limited to 'Library/Formula/zsync.rb')
0 files changed, 0 insertions, 0 deletions