Lean [лин] — язык для доказательств. Существует проект по формализации каждой теоремы в курсе одного колледжа с использованием Lean.
Изобразите на ответном бланке логотип этого языка.
Ответ: L∃∀N
Зачет: в достаточно узнаваемом написании с квантором существования вместо буквы Е и квантором всеобщности вместо буквы А
Комментарий:
Слова «каждой» и «существует» должны были напомнить вам о кванторах, которые логично использовать в логотипе математического проекта.