Adding description of theorems in parallel.lean and perpendicular.lean - Githubissues

jjdishere / EG

Formalizing Euclidean Geometry in Lean

26 stars 57 forks source link

Adding description of theorems in parallel.lean and perpendicular.lean #293

Closed Liang-Xiao-pku closed 5 months ago