English E theorem prover Cited by user Rjwilmsi on 20 Apr 2014 E is implemented in C and portable to most UNIX dialects and the Cygwin environment.