Skip to content

Fix(lean,#24240): conway_lean -- marqueurs (ce PR)/(this PR) perimes remplaces par leur PR de merge - #24428

Merged
myia-ai-01 merged 5 commits into
mainfrom
fix/24240-ce-pr-marker
Nov 5, 2026
Merged

Fix(lean,#24240): conway_lean -- marqueurs (ce PR)/(this PR) perimes remplaces par leur PR de merge#24428
myia-ai-01 merged 5 commits into
mainfrom
fix/24240-ce-pr-marker

Fix(lean,#24240): retirer le bloc papermill perime du carnet Lean-16c

c4e7124
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar