GitHub repository: xyzw12345/EG
Primary language: Lean
Description: Formalizing Euclidean Geometry in Lean