E theorem prover

  1. REDIRECT E (theorem prover)

{{R from move}}