Add_files_EX1c'.lean,EX1e'.lean,EX1h'.lean,Chap5a.lean_Modified_the_style_of_examples - Githubissues

jjdishere / EG

Formalizing Euclidean Geometry in Lean

26 stars 57 forks source link

Add_files_EX1c'.lean,EX1e'.lean,EX1h'.lean,Chap5a.lean_Modified_the_style_of_examples #261

Closed mathzhuonichi closed 6 months ago

mathzhuonichi commented 6 months ago

Transformed the original formulations into the new style.