search

jjdishere / EG

Formalizing Euclidean Geometry in Lean
26 stars 57 forks source link

Team_D_changed_Parallelogram.lean&Quadrilateral.lean #284

Closed kfc2333 closed 5 months ago

jjdishere commented 5 months ago

Thank you very much!

kfc2333 commented 5 months ago

You're welcome!