Repository navigation

feat(lean,#18601): lake geometry_lean — squelette + théorème du milieu de l'hypoténuse (tranche 2) - #18963

Merged

myia-ai-01 merged 2 commits into

mainfrom

feature/geometry-lean-t2

Oct 4, 2026

Commits on Oct 3, 2026
- feat(lean,#18601): tranche 2 -- squelette du lake geometry_lean + theoreme du milieu de l'hypotenuse
  
  jsboige
  and
  claude
  committed
  9935d07
- fix(lean,#18601): lien CI du README geometry_lean -- chemin relatif casse vers lien GitHub absolu
  
  jsboige
  and
  claude
  committed
  937166a