jjdishere / EG

Formalizing Euclidean Geometry in Lean
26 stars 57 forks source link

Axiom/Circle #298

Closed Noaillesss closed 5 months ago

Noaillesss commented 5 months ago

make some adjustments for the order of thms add the concept of chord