Download PDFOpen PDF in browser

E 2.0 User Manual

EasyChair Preprint no. 8

57 pagesDate: March 1, 2018

Abstract

E is an equational theorem prover for full first-order logic, based
on superposition and rewriting. In this preliminary manual we first
give a short introduction for impatient new users, and then cover
calculus and proof procedure. The manual covers proof search control
and related options, followed by input and output formats. Finally,
it describes some additional tools that are part of the E
distribution.

Keyphrases: automated reasoning, automated theorem proving, equational theorem proving, first-order logic

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@Booklet{EasyChair:8,
  author = {Stephan Schulz},
  title = {E 2.0 User Manual},
  howpublished = {EasyChair Preprint no. 8},
  doi = {10.29007/m4jw},
  year = {EasyChair, 2018}}
Download PDFOpen PDF in browser