Team_D_changed_Parallelogram.lean&Quadrilateral.lean - Githubissues

jjdishere / EG

Formalizing Euclidean Geometry in Lean

27 stars 56 forks source link

Team_D_changed_Parallelogram.lean&Quadrilateral.lean #264

Closed kfc2333 closed 9 months ago

kfc2333 commented 9 months ago

Changed definition of convex and many other things. Details are in https://www.overleaf.com/read/tcgzgcxvkxmn#c3b437