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