Repository navigation

feat(lean,#13106): Lean-13c - le notebook natif de la saturation de Tsirelson (tranche 5) - #17279

Merged

myia-ai-01 merged 2 commits into

mainfrom

feature/13106-lean13c-landau

Sep 22, 2026

Merged

feat(lean,#13106): Lean-13c - le notebook natif de la saturation de Tsirelson (tranche 5)#17279
myia-ai-01 merged 2 commits into
mainfrom
feature/13106-lean13c-landau

Commits on Sep 21, 2026
- feat(lean,#13106): Lean-13c - le notebook natif de la saturation de Tsirelson (tranche 5, consomme Conway.CHSHLandau)
  
  jsboige
  and
  claude
  committed
  9247e70
- fix(lean,#13106): 13c - compte de provenance neuf->onze + titres de Lectures specifiques (levue Hermes #17279)
  
  jsboige
  and
  claude
  committed
  fb100cf