Технология
Lean
Функциональный язык программирования и система интерактивного доказательства теорем, в которой компьютер проверяет каждый логический шаг.
1
упоминание в архиве
0
в центре выпуска
1
выпуск с упоминанием
1
фрагмент с таймкодом
ноя 2026
первое упоминание
ноя 2026
пик · 1 за месяц
67
связей с сущностями
Связи
Созвездие связей
Размер — сила связи; пунктир — связь без общего выпуска. Клик — перейти на страницу.
Ещё связано
синие — темы; пунктир — сущность без своей страницы