search

jjdishere / EG

Formalizing Euclidean Geometry in Lean
27 stars 56 forks source link

fix the problem left #281

Closed Thmoas-Guan closed 8 months ago