search

jjdishere / EG

Formalizing Euclidean Geometry in Lean
26 stars 57 forks source link

Axiom/Circle #279

Closed Noaillesss closed 5 months ago

Noaillesss commented 5 months ago

change names in CCPosition