README 71 B

12
  1. E is an automated theorem prover for first-order and equational logic.