Main Page

See live article

Alphabetical index
E equational theorem prover
E
is a modern, high performance
theorem prover
for clausal
logic
with equality. It is available under the
GNU GPL
.
External Link
E home page