FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving

Xiaokai Zhang, Na Zhu, Yiming He +17

This is the first paper in a series of work we have accomplished over the past three years. In this paper, we have constructed a consistent formal plane geometry system. This will…