Repository navigation

fix(lean,#17357): Lean-16e -- 3 fractions de PRIMEGAME corrigees (le generateur ne produisait aucun premier) - #20129

Merged

myia-ai-01 merged 2 commits into

mainfrom

fix/17357-lean16e-primegame-fractions

Oct 10, 2026

Merged

fix(lean,#17357): Lean-16e -- 3 fractions de PRIMEGAME corrigees (le generateur ne produisait aucun premier)#20129
myia-ai-01 merged 2 commits into
mainfrom
fix/17357-lean16e-primegame-fractions

Commits on Oct 9, 2026
- fix(lean,#17357): Lean-16e FRACTRAN -- 3 fractions de PRIMEGAME corrigees
  
  jsboige
  and
  claude
  committed
  1b70281
- Fix(lean,#17357): Lean-16e -- bloc papermill perime (re-execution par l'executeur canonique)
  
  jsboige
  and
  claude
  committed
  0314d7b