eprover

Theorem prover for full first-order logic with equality

Current version:
1.9

Homepage:http://eprover.org

Formula history

ilovezfseprover: remove redundant version specification
Alexandre Rademakereprover 1.9
Viktor Szakatseprover: use https homepage
Baptiste Fontaineeprover: use an https url
Nikolaus WittensteinAdd descriptions to all remaining homebrew packages
Ted PenningsConvert all 'def test' formulae to 'test do'
Brett Koonceeprover 1.8
Brett Koonceeprover 1.7