mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-04 20:29:09 +01:00
|
…
|
||
|---|---|---|
| .. | ||
| eprover.info | ||
| eprover.SlackBuild | ||
| README | ||
| slack-desc | ||
E is an automated theorem prover for first-order and equational logic.