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