SlackBuilds Repository

15.0 > Academic > eprover (3.2.5) 

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 (260636edf349bc2ce2d1ac0d390f1bf4)

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

(the SlackBuild does not include the source)

Individual Files:
• README
• eprover.SlackBuild
• eprover.info
• slack-desc

Validated for Slackware 15.0

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

© 2006-2026 SlackBuilds.org Project. All rights reserved.
Slackware® is a registered trademark of Patrick Volkerding
Linux® is a registered trademark of Linus Torvalds