Repository navigation

feat(lean,#17845): tranche k3 — Komlos/Tent.lean complet (13 preuves reportées, 0 sorry) - #19563

Merged

myia-ai-01 merged 1 commit into

mainfrom

feature/komlos-k3-tent

Oct 7, 2026

Merged

feat(lean,#17845): tranche k3 — Komlos/Tent.lean complet (13 preuves reportées, 0 sorry)#19563
myia-ai-01 merged 1 commit into
mainfrom
feature/komlos-k3-tent

Commits on Oct 6, 2026
- feat(lean,#17845): tranche k3 -- Komlos/Tent.lean complet (13 preuves reportees, 0 sorry)
  
  jsboige
  and
  claude
  committed
  39aa436