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
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 |
© 2006-2023 SlackBuilds.org Project. All rights reserved.
Slackware® is a registered trademark of
Patrick Volkerding
Linux® is a registered trademark of
Linus Torvalds