aboutsummaryrefslogtreecommitdiff
path: root/math/eprover/distinfo
Commit message (Expand)AuthorAgeFilesLines
* New port: math/eprover : Theorem prover for full first-order logic with equalityYuri Victorovich2017-11-191-0/+3
generated by cgit v1.2.3 (git 2.25.1) at 2025-03-06 17:56:02 +0000