tdzl2003/LeanAlgeo

Lean prove library for https://dajiaoai.com/