Open Geometry Prover Community Project - Baeta, Nuno (2022)
In Proceedings ADG 2021, arXiv:2112.14770