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