eprover

Theorem prover for full first-order logic with equality

https://eprover.org/

Current versions:

stable 2.0
bottle 🍾 high_sierra, sierra, el_capitan, yosemite

JSON API for eprover

Formula code on GitHub

Fork me on GitHub