This is your work, valued

Open Geometry Prover Community Project (OGPCP)

Advanced
@opengeometryprover