Skip to content

Fix(lean,#17545): T4 -- promotion Lean-16 et rattachement du libre arbitre a l'arc 13e - #24626

Open
myia-po-2023 wants to merge 13 commits into
mainfrom
feature/17545-t4-promotion-16a-13e
Open

Fix(lean,#17545): T4 -- promotion Lean-16 et rattachement du libre arbitre a l'arc 13e#24626
myia-po-2023 wants to merge 13 commits into
mainfrom
feature/17545-t4-promotion-16a-13e

Commits

  1. Commits on Nov 4, 2026

  2. Commits on Nov 5, 2026

  3. Commits on Nov 6, 2026

  4. Commits on Nov 7, 2026