K 10 svn:author V 4 yuri K 8 svn:date V 27 2017-11-19T21:59:32.522004Z K 7 svn:log V 234 New port: math/eprover : Theorem prover for full first-order logic with equality PR: 211903 Submitted by: Greg V Approved by: tcberner (mentor) Differential Revision: https://reviews.freebsd.org/D13150 END