Repository navigation

Feat(lean,#19960): ANALYSE-08 Ramsey/VdW -- enumeration exacte, mur 2^153, pont d'Erdos (pli 4 Origami) - #19962

Merged

myia-ai-01 merged 4 commits into

mainfrom

feature/19960-ramsey-vdw

Oct 9, 2026

Commits on Oct 8, 2026
- Feat(lean,#19960): carnet ANALYSE-08 Ramsey et van der Waerden (pli 4 Origami)
  
  jsboige
  and
  claude
  committed
  c50087f
- fix(lean,#19962): ANALYSE -- chaine de navigation 03 -> 04 -> 08, 2 orphan_entry leves
  
  jsboige
  and
  claude
  committed
  65b63d5
Commits on Oct 9, 2026
- Fix(analyse,#19962): prose W(2,3) alignee sur sa sortie -- 4 periodiques + 2 irregulieres
  
  jsboige
  and
  claude
  committed
  6654f7f
- merge: origin/main dans #19962 -- chaine de navigation rendue complete (04 -> 08 -> 09)
  
  jsboige
  and
  claude
  committed
  8045d6b