Skip to content

feat(geometry,#18608): notebook Geometry-04 — DD+AR, la moitie symbolique d'AlphaGeometry - #18610

Merged
myia-ai-01 merged 4 commits into
mainfrom
feature/geometry-04-ddar
Oct 1, 2026
Merged

myia-ai-01 merged 4 commits into
mainfrom
feature/geometry-04-ddar

fix(geometry,#18610): merge main post-reparenting + chaine nav 03b->0…

2d39171
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar