Skip to content

Docs(lean,#4362): etat final mutualisation mathlib WSL po-2028 -- 3 symlinks vers perc19494 - #23750

Merged
myia-ai-01 merged 2 commits into
mainfrom
docs/junctions-apply-po-2028-c4362
Nov 1, 2026
Merged

Docs(lean,#4362): etat final mutualisation mathlib WSL po-2028 -- 3 symlinks vers perc19494#23750
myia-ai-01 merged 2 commits into
mainfrom
docs/junctions-apply-po-2028-c4362

Fix(lean,#4362): indexer le doc d'apply po-2028 dans docs/README.md

00bdac8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar