Complete Position/Angle.lean and Clean trash of Ray.lean - Githubissues

jjdishere / EG

Formalizing Euclidean Geometry in Lean

26 stars 57 forks source link

Complete Position/Angle.lean and Clean trash of Ray.lean #282

Closed mbkybky closed 5 months ago