search

jjdishere / EG

Formalizing Euclidean Geometry in Lean
26 stars 57 forks source link

fix the silly theorem of cclock and angle pos #278

Closed Thmoas-Guan closed 5 months ago