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

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

mainjsboige/CoursIA:mainfrom

feature/15700-chsh-tsirelson-notebookjsboige/CoursIA:feature/15700-chsh-tsirelson-notebookCopy head branch name to clipboard