aboutsummaryrefslogtreecommitdiff
path: root/academic/eprover/slack-desc
AgeCommit message (Expand)Author
2019-02-23academic/eprover: Added (a first-order theorem prover).Nick Smallbone