Complete the part of Position/Angle and problem 2 of IMO in 2007 - Githubissues

jjdishere / EG

Formalizing Euclidean Geometry in Lean

26 stars 57 forks source link

Complete the part of Position/Angle and problem 2 of IMO in 2007 #301

Closed mbkybky closed 4 months ago