aboutsummaryrefslogtreecommitdiff
path: root/academic/eprover/README
blob: f12340731380c5939dcbb2f5af2ee91c86d9ac6e (plain)
1
E is an automated theorem prover for first-order and equational logic.