EPROVER.DE

Development of E started as part of the E-SETHEO project at TUM. The first public release was in in 1998, and the system has been continuously improved ever since. I believe that E now is one of the most powerful and friendly reasoning systems for first-order logic. The prover has successfully participated in many competitions... E 2.5 Avongrove (pre-release) has won the UEQ and LTB divisions of CASC-J10. It has also won third places in FOF and (rather by accident) FNT. E also was the reasoning engine of Enigma, which came in second in FOF. The official release will be available immediately. It also is available via the public github repository.