search

jjdishere / EG

Formalizing Euclidean Geometry in Lean
27 stars 56 forks source link

Fix errors #275

Closed mbkybky closed 8 months ago