tonyxty / EG

Formalizing Euclidean Geometry in Lean

EG

Formalizing Euclidean Geometry in Lean

For API documentation, please visit https://jjdishere.github.io/EG/.

This is a test.