Skip to content

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

Merge remote-tracking branch 'origin/main' into feature/4362-peters-d…

b44f5b1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar