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