Technische Universität München, Fakultät für Informatik
Lehrstuhl Informatik IV, Research Group Automated Reasoning

The E Equational Theorem Prover Archive

If you are interested in the evolution of E, here is a complete archive of all officially published versions. If you are looking for a good theorem prover to actually do work with, please consider the download section of the E home page, which has the latest released version.

I am not interested in bug reports for old versions of E unless the bug persists in the latest release version.

As for the main distribution, old versions of E are only available as source distributions for various versions of UNIX. For the installation requirements check the main page.

E is free software and is available under the GNU GENERAL PUBLIC LICENSE (most official html version).


Stephan Schulz,, 16.1.2004