Skip to content

fix(lean,#17357): Lean-11 TorchLean -- structure de sections, fuites de solution, re-exec - #20122

Merged
myia-ai-01 merged 3 commits into
mainfrom
fix/17357-lean11-torchlean-structure
Oct 10, 2026
Merged

fix(lean,#17357): Lean-11 TorchLean -- structure de sections, fuites de solution, re-exec#20122
myia-ai-01 merged 3 commits into
mainfrom
fix/17357-lean11-torchlean-structure

Fix(notebooks,#17357): Lean-11 TorchLean -- retirer le compteur en prose

ad1873d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar