EG Formalizing Euclidean Geometry in Lean For API documentation, please visit https://jjdishere.github.io/EG/. This is a test.