Skip to content

docs(lean,#15457): aérer les paragraphes-murs des README Lean (série + conway_lean FR/EN) - #15580

Merged
myia-ai-01 merged 1 commit into
mainfrom
docs/15457-lean-readme-fournee
Sep 12, 2026
Merged

docs(lean,#15457): aérer les paragraphes-murs des README Lean (série + conway_lean FR/EN)#15580
myia-ai-01 merged 1 commit into
mainfrom
docs/15457-lean-readme-fournee

docs(lean,#15457): aérer les paragraphes-murs des README Lean (série …

ad6b42f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar