Simplify Theorem Prover

The Eclipse Plugin for the Simplify Theorem Prover is found at

Development of Simplify is hosted at GitHub.

An archive of all binary executables for various platforms is found here

What is the future of Simplify?

Simplify was written by Greg Nelson and others at SRC. It is implemented in Modula-III. The only recent development on Simplify that has taken place is our port of it to Mac OS X. We do not plan on doing any development on Simplify, as the world of first-order theorem provers has changed quite a bit over the past decade or so. Instead, we are working on integrating ESC/Java3 with new-generation SMT-LIB provers.