Theorem prover for full first-order logic with equality

Current version:

Homepage: http://eprover.org

Formula history

Alexandre Rademaker eprover 1.9
Viktor Szakats eprover: use https homepage
Baptiste Fontaine eprover: use an https url
Nikolaus Wittenstein Add descriptions to all remaining homebrew packages
Ted Pennings Convert all 'def test' formulae to 'test do'
Brett Koonce eprover 1.8
Brett Koonce eprover 1.7