Theorem prover for full first-order logic with equality

Current version

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