Repository navigation

refactor(lean,#4362): descendre social_choice_lean_peters sous GameTheory/SocialChoice/ (volet 3) - #18687

Merged

myia-ai-01 merged 9 commits into

mainfrom

feature/4362-peters-descent

Oct 4, 2026

Merged

refactor(lean,#4362): descendre social_choice_lean_peters sous GameTheory/SocialChoice/ (volet 3)#18687
myia-ai-01 merged 9 commits into
mainfrom
feature/4362-peters-descent

Commits on Oct 3, 2026
Commits on Oct 4, 2026
- docs(#18687): README.en.md -- 4 liens a la profondeur de l'ancien chemin (review 5403954783)
  
  jsboige
  and
  claude
  committed
  9e0f0c8
- merge: origin/main into feature/4362-peters-descent
  
  jsboige
  and
  claude
  committed
  b983952
- Merge remote-tracking branch 'origin/main' into feature/4362-peters-descent
  jsboige
  committed
  b44f5b1