GitHub repository: AdarshBasu/Elementary-Euclidean-Geometry
Primary language: Lean
Description: Project of course ProofsAndPrograms - Formalizing Euclidean Geometry