added Linear.Order - Githubissues

jjdishere / EG

Formalizing Euclidean Geometry in Lean

26 stars 57 forks source link

Closed xyzw12345 closed 5 months ago

xyzw12345 commented 5 months ago

added Linear.Order added proofs for Problem_5 Problem_6 Problem_7 and a part of Problem_11