Repository navigation

Refactor(lean,#17545): descente Lean-29 -> Langlands/06 et lake hecke_lean dans la sous-serie (T5) - #24046

Merged

myia-ai-01 merged 3 commits into

mainfrom

feature/17545-t5-langlands-descente

Nov 2, 2026

Merged

Refactor(lean,#17545): descente Lean-29 -> Langlands/06 et lake hecke_lean dans la sous-serie (T5)#24046
myia-ai-01 merged 3 commits into
mainfrom
feature/17545-t5-langlands-descente

Commits on Nov 1, 2026
- Refactor(lean,#17545): descente Lean-29 -> Langlands/06 et lake hecke_lean dans la sous-serie
  
  jsboige
  and
  claude
  committed
  e7825b9
- Fix(ci,#17545): re-baseline nav-chain Langlands 5 -> 6 notebooks
  
  jsboige
  and
  claude
  committed
  386cb1e
- Merge branch 'main' into feature/17545-t5-langlands-descente
  jsboige
  authored
  14f3eda