search

jjdishere / EG

Formalizing Euclidean Geometry in Lean
26 stars 57 forks source link

prove perpendicular from inner product zero #290

Closed tonyxty closed 5 months ago