Skip to content

feat(lean,#15700): Lean-13b — le notebook natif de la borne de Tsirelson (tranche 3, empilée sur #16167) - #16177

Merged
myia-ai-01 merged 2 commits into
mainfrom
feature/15700-chsh-tsirelson-notebook
Sep 14, 2026
Merged

feat(lean,#15700): Lean-13b — le notebook natif de la borne de Tsirelson (tranche 3, empilée sur #16167)#16177
myia-ai-01 merged 2 commits into
mainfrom
feature/15700-chsh-tsirelson-notebook

fix(#16177): reparations markdown du preflight adjoint — pipes de tab…

888c5c1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar