English E theorem prover Cited by user Bgwhite on 16 Sep 2013 E is implemented in C and portable to most UNIX dialects and the Cygwin environment.