Fill all sorries in Ray.lean and a sorry in Line.lean - Githubissues

jjdishere / EG

Formalizing Euclidean Geometry in Lean

27 stars 56 forks source link

Fill all sorries in Ray.lean and a sorry in Line.lean #292

Closed Origami233333 closed 8 months ago