Wikipedia:Articles for deletion/E equational theorem prover
Somewhat reluctant keep, as it is a bit -ish but I think it runs over the  threshold ivo sources
— User:Springnuts, 18:16, 27 January 2010 (UTC)
Stance: keep
Cited policy: WP:COI||WP:N (Wikipedia:Conflict of interest)