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

fix(lean,#17357): Lean-21c -- substrat A lu comme violation d'hstrict…

3c9fffd
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar