eprover: eprover (a first-order theorem prover)
eprover:
eprover: E is an automated theorem prover for first-order and equational logic.
eprover:
eprover: Homepage: http://www.eprover.org/
eprover:
eprover:
eprover:
eprover:
eprover:
eprover: