Download Archive

 

Versions of E older than E 1.2 are available from the old archive page.

Old archive

E

Technology

Download

  1. ‣ Archive

Usage

FAQ

Awards

References

Me

Impressum

E 1.2 Badamtam is the latest release of E. It provides a number of significant performance improvements.


    1. •The README file.

    2. •What's new compared to version 1.1.

    3. •The source distribution (~1184 kb)

    4. •Jasmin Blanchette provides a package with pre-build binaries of E 1.2 for Mac (ppc, x86, x86_64), Linux (x86, x86_64) and Windows (x86) (~4MB). I don't run Windows, so I cannot offer any support specific to the Windows version. Get a real OS ;-)

E 1.2 Badamtam (2010-09-24)

See the main download page for the current release!

E 1.3 Ringtong is the latest release of E. It features an improved automatic mode, adds answer substitution output, and other minor improvements.


    1. •The README file.

    2. •What's new compared to version 1.2.

    3. •The (draft) manual.

    4. •The source distribution (~1600 kb).

    5. •Pre-build binaries (tgz) for MacOS-X, Linux, and Windows (provided by Jasmin Blanchette).

E 1.3 Ringtong (2011-06-27)

E 1.4 Namring is the latest release of E. It features an improved automatic mode, some more heuristic changes, fixing of minor bugs, and general cleanup.


    1. •The README file.

    2. •What's new compared to version 1.3.

    3. •The (draft) manual.

    4. •The source distribution (~1600 kb).

    5. •E is available via  fink install eprover for MacOS-X 10.7.

    6. •Pre-build binaries (tgz) for MacOS-X, Linux, and Windows (provided by Jasmin Blanchette).

E 1.4 Namring (2011-08-20)