aboutsummaryrefslogtreecommitdiff
path: root/academic/eprover
AgeCommit message (Expand)Author
2020-09-05academic/eprover: Updated for version 2.5.Nick Smallbone
2020-01-12academic/eprover: Updated for version 2.4.Nick Smallbone
2019-02-23academic/eprover: Added (a first-order theorem prover).Nick Smallbone