Repository navigation

fix(lean,#19730): re-executer Lean-37 Capstone Serre100 post-#19628 - #19918

Merged

myia-ai-01 merged 2 commits into

mainfrom

fix/c1178-19730-lean37-rexec

Oct 9, 2026

Merged

fix(lean,#19730): re-executer Lean-37 Capstone Serre100 post-#19628#19918
myia-ai-01 merged 2 commits into
mainfrom
fix/c1178-19730-lean37-rexec

Commits on Oct 8, 2026
- fix(lean,#19730): re-executer Lean-37 Capstone Serre100 post-#19628
  jsboige
  committed
  6986f3f
Commits on Oct 9, 2026
- fix(lean,#19730): recaler la prose du capstone Serre100 sur sa propre mesure
  
  jsboige
  and
  claude
  committed
  ca2e58b