Skip to content

fix(lean,#15742): seuil R3 — énoncer le contrat réel (< 2 modèle, bande à 2 au replay) - #15924

Merged
myia-ai-01 merged 1 commit into
mainfrom
fix/15742-r3-seuil-chebyshev
Sep 15, 2026
Merged

fix(lean,#15742): seuil R3 — énoncer le contrat réel (< 2 modèle, bande à 2 au replay)#15924
myia-ai-01 merged 1 commit into
mainfrom
fix/15742-r3-seuil-chebyshev

fix(lean,#15742): aligner le seuil R3 enonce sur le contrat implement…

b114a31
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar