Skip to content

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
Merged

feat(lean,#18601): lake geometry_lean — squelette + théorème du milieu de l'hypoténuse (tranche 2)#18963
myia-ai-01 merged 2 commits into
mainfrom
feature/geometry-lean-t2

fix(lean,#18601): lien CI du README geometry_lean -- chemin relatif c…

937166a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar