Download PDFOpen PDF in browser

E 2.4 User Manual

EasyChair Preprint 2272, version 2

Versions: 12history
61 pagesDate: January 1, 2020

Abstract

E is an equational theorem prover for full first-order logic (with optional support for some higher-order features), based on superposition and rewriting. In this perpetually preliminary manual we first give a short introduction and basic usage information for new users, and then cover calculus and proof procedure. The manual also 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:2272,
  author    = {Stephan Schulz},
  title     = {E 2.4 User Manual},
  howpublished = {EasyChair Preprint 2272},
  year      = {EasyChair, 2020}}
Download PDFOpen PDF in browser