AMIGeO: Geometry Solver 1.7 [免費版]

AMIGeO is an educational program that solves problems in Euclidean/plane geometry and produces human-like proofs that aid greatly in the teaching/learning of plane geometry in
middle/high school.

• 11/14/2022: AMIGeO: Geometry Solver 1.7
• Report a new version