Title: Mechanical Theorem Proving in Geometries