Skip to content

Fix(lean,#19506): Angel bibliographie alignee sur le gisement (Gacs, Bibliographie IA) - #19927

Merged
myia-ai-01 merged 1 commit into
mainfrom
fix/19506-angel-bibliographie
Oct 8, 2026
Merged

myia-ai-01 merged 1 commit into
mainfrom
fix/19506-angel-bibliographie

Commits

  1. Commits on Oct 8, 2026