Skip to content

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

feat(lean,#17845): tranche k3 -- Komlos/Tent.lean complet (13 preuves…

39aa436
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar