search

jjdishere / EG

Formalizing Euclidean Geometry in Lean
26 stars 57 forks source link

finish ray ray intersect in the plan #291

Closed Thmoas-Guan closed 5 months ago

Thmoas-Guan commented 5 months ago

only except the degenerate cases

jjdishere commented 5 months ago

Great work!