Repository navigation

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

Commits on Sep 17, 2026
- feat(lean,#16543): Lean-8b — programme Erdos et pattern conjecture-as-sorry (pilote narratif #13106)
  
  jsboige
  and
  claude
  committed
  5e66ae3