summaryrefslogtreecommitdiff
path: root/academic/eprover/README
blob: f12340731380c5939dcbb2f5af2ee91c86d9ac6e (plain) 
1

E is an automated theorem prover for first-order and equational logic.
generated by cgit v1.2.3 (git 2.26.2) at 2024-11-17 02:41:37 +0000