Yuri Victorovich 91d97411ae New port: math/eprover : Theorem prover for full first-order logic with equality ... PR: 211903 Submitted by: Greg V <greg@unrelenting.technology> Approved by: tcberner (mentor) Differential Revision: https://reviews.freebsd.org/D13150		2017-11-19 21:59:32 +00:00
..
files
distinfo
Makefile
pkg-descr
pkg-plist