Skip to content

fix(lean,#17357): Lean-21c -- substrat A lu comme violation d'hstrict, tableau et exercice 1 alignes sur les sorties committes - #20104

Merged
myia-ai-01 merged 1 commit into
mainfrom
fix/17357-lean21c
Oct 10, 2026
Merged

fix(lean,#17357): Lean-21c -- substrat A lu comme violation d'hstrict, tableau et exercice 1 alignes sur les sorties committes#20104
myia-ai-01 merged 1 commit into
mainfrom
fix/17357-lean21c

Commits

  1. Commits on Oct 9, 2026