2005
2004
EQP: Equational Theorem Prover
by robertoAn automated theorem proving program for first-order equational logic.
Founded in late 2003 and heartquartered in France, we are non-profit and independant.
We believe in the open web, think internet services should be sustainable, build for the long term.
While we are re-launching the service, we only accept new members through invitation.