GitHub repository: Kouer-www/EG
Primary language: Lean
Description: Formalizing Euclidean Geometry in Lean