Обсуждение:Lean
Перейти к навигации
Перейти к поиску
30 ноября — 3 декабря 2021 года сведения из статьи «Lean» появлялись на заглавной странице в колонке «Знаете ли вы». В колонке был представлен текст: «Филдсовский лауреат проверяет сложное доказательство теоремы специальной программой». С полным выпуском колонки можно ознакомиться в архиве рубрики «Знаете ли вы». |