search

jjdishere / EG

Formalizing Euclidean Geometry in Lean
26 stars 57 forks source link

对Example ShanZun ex1f 中的2.11做了尝试性的修改 #283

Closed stupidchunchun closed 5 months ago

stupidchunchun commented 5 months ago

增加了新的文件f‘，主要修改都在f’中进行，f以后应该会废弃