eprover

Theorem prover for full first-order logic with equality
http://eprover.org

Current version
2.0

Formula history

ilovezfs eprover 2.0
ilovezfs eprover: remove redundant version specification
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