search

jjdishere / EG

Formalizing Euclidean Geometry in Lean
26 stars 57 forks source link

redefine collinear & lemmas & naming #295

Open FR-vdash-bot opened 5 months ago