Lean [лин] — язык для доказательств. Существует проект по формализации каждой теоремы в курсе одного колледжа с использованием Lean. Изобразите на ответном бланке логотип этого языка.