eprover

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

Current version
2.0

Recent 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

Formula code at GitHub