search

jjdishere / EG

Formalizing Euclidean Geometry in Lean
26 stars 57 forks source link

Updated Tactic Congruence #303

Closed xyzw12345 closed 3 months ago

xyzw12345 commented 4 months ago

updated tactic congruence and some exercises