Repository navigation

feat(lean,#15700): CHSHQuantum -- carte d'hypotheses de la borne de Tsirelson - #16167

Merged

myia-ai-01 merged 2 commits into

mainfrom

feature/15700-chsh-tsirelson

Sep 14, 2026

Merged

feat(lean,#15700): CHSHQuantum -- carte d'hypotheses de la borne de Tsirelson#16167
myia-ai-01 merged 2 commits into
mainfrom
feature/15700-chsh-tsirelson

Commits on Sep 14, 2026
- Add: Carte des hypotheses de la borne de Tsirelson (CHSHQuantum)
  
  jsboige
  and
  claude
  committed
  36be355
- fix(lean,#15700): lever les 2 findings NanoClaw — docstrings CHSHQuantum FR+EN
  
  jsboige
  and
  claude
  committed
  0988a5b