Euclidean Geometry

Welcome! This project aims to formalize the Euclidean Geometry in Lean. Please enjoy youeself in exploring with theorems and examples.