Welcome to AMIGeO Free: A Solver/Prover for Euclidean/Plane Geometry Problems