Article snapshot taken from Wikipedia with creative commons attribution-sharealike license.
Give it a read and then ask your questions in the chat.
We can research this topic together.
This is an old revision of this page, as edited by Springnuts (talk | contribs) at 22:06, 18 December 2009 (Having merged into E equational theorem prover, set up as redirect iaw AfD). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.