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
Description
Description
Details
Details
- Provenance
yuri Authored on - Differential Revision
- D13150: New port: math/eprover : Theorem prover for full first-order logic with equality
- Parents
- rP454505: New port: graphics/goxel: A 3D program that lets you create voxel volumes, a…
- Branches
- Unknown
- Tags