summaryrefslogtreecommitdiff
path: root/academic/eprover/slack-desc
Commit message (Expand)AuthorAge
* academic/eprover: Added (a first-order theorem prover).Nick Smallbone2019-02-23