Download PDFOpen PDF in browserE 2.0 User ManualEasyChair Preprint 857 pages•Date: March 1, 2018AbstractE is an equational theorem prover for full first-order logic, based Keyphrases: automated reasoning, automated theorem proving, equational theorem proving, first-order logic
|