summaryrefslogtreecommitdiffstats
path: root/academic/eprover/README
Commit message (Collapse)AuthorAgeFilesLines
* academic/eprover: Added (a first-order theorem prover). Nick Smallbone2019-02-231-0/+1
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>