Formal Reasoning In Euclidean Geometry