Skip to content

feat(lean,#11703): exposer le backbone topologique dans Lean-15c - #16945

Merged
myia-ai-01 merged 2 commits into
mainfrom
feature/11703-groth-topological-backbone-v2
Sep 22, 2026
Merged

myia-ai-01 merged 2 commits into
mainfrom
feature/11703-groth-topological-backbone-v2

Merge remote-tracking branch 'origin/main' into feature/11703-groth-t…

480364c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar