Skip to content

Fix(socialchoice,#21178): deriver 2 conclusions Borda des valeurs calculees (vs hardcoded) - #21205

Merged
myia-ai-01 merged 3 commits into
mainfrom
fix/21178-borda-conclusions
Oct 20, 2026
Merged

myia-ai-01 merged 3 commits into
mainfrom
fix/21178-borda-conclusions

Commits

  1. Commits on Oct 17, 2026

  2. Commits on Oct 20, 2026