The E Equational Theorem Prover Blue Ribbon

E now has its own domain

The E home page is now reachable via a stable URL. It is still hosted at the Technische Universität München. You should be redirected there now.
Impressum