Skip to content

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

Merge branch 'main' into feature/17545-t5-langlands-descente

14f3eda
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar