Skip to content

feat(lean,#16543): Lean-8b — programme Erdos et pattern conjecture-as-sorry (pilote narratif #13106) - #16545

Merged
myia-ai-01 merged 1 commit into
mainfrom
feature/16543-erdos-formal-conjectures
Sep 18, 2026
Merged

feat(lean,#16543): Lean-8b — programme Erdos et pattern conjecture-as-sorry (pilote narratif #13106)#16545
myia-ai-01 merged 1 commit into
mainfrom
feature/16543-erdos-formal-conjectures

feat(lean,#16543): Lean-8b — programme Erdos et pattern conjecture-as…

5e66ae3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar