search

jjdishere / EG

Formalizing Euclidean Geometry in Lean
26 stars 57 forks source link

修改了ShanZun Ex1f‘ 和 Ray.trash #286

Closed stupidchunchun closed 5 months ago