Проект Lean: Можно ли формализовать всю математику на компьютере – и нужно ли? +8 26.06.2026 09:36 FirstJohn 2 Блог компании FirstVDS Научно-популярное Математика Функциональное программирование
