几何证明类的软件有几家开发的，但大多证明的表达和我们传统的证明书写表达不一致，这样从逻辑上很难得到让人信服的证明，这点让很多致力于几何证明类软件开发的教师很沮丧的。我找到的这款软件，可以做到与我们传统的证明书写表达一致，相当罕见的优秀软件。