[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

E Equational Theorem Prover version 0.2 for download

From: Stephan Schulz
Subject: E Equational Theorem Prover version 0.2 for download
Date: 16 Aug 1998 18:58:57 GMT

The E Equational Theorem Prover

E is a a purely equational theorem prover for clausal logic. That
means it is a program that you can stuff a mathematical specification
(in clausal logic with equality) and a hypothesis into, and which will
then run forever, using up all of your machines resources. Very
occasionally it will find a proof for the hypothesis and tell you so

E is available as a source distribution for UNIX-variants. It installs
cleanly under all UNIX variants I could get my hands on: Various
versions of GNU/Linux/Intel and GNU/Linux/SPARC, SunOS, Solaris and HPUX.

If this already sounds exiting to you, go download your version from

If not, consider the following points:

1) Won't cause a new desktop war. The program is extremely useless to
   most end users.
2) Impress your Comp. Sci. Prof!
3) High Hack Value!

E is distributed under the GNU General Public License.

Have fun!


-------------------------- It can be done! ---------------------------------
   Please email me as address@hidden (Stephan Schulz)

reply via email to

[Prev in Thread] Current Thread [Next in Thread]