This script is for Slackware 14.2 only and may be outdated.

SlackBuilds Repository

E is an automated theorem prover for first-order and equational logic.

Maintained by: Nick Smallbone
Keywords: prover,first-order,logic,e
ChangeLog: eprover

Homepage:
http://www.eprover.org

Source Downloads:
E.tgz (f73852315dde1071acfa552b9532c7ab)

Download SlackBuild:
eprover.tar.gz
eprover.tar.gz.asc (FAQ)

(the SlackBuild does not include the source)

Individual Files:

• README

See our HOWTO for instructions on how to use the contents of this repository.

Access to the repository is available via:
ftp git cgit http rsync