Post #40
529
formal labs Следующая лекция по типам (System F) пройдет завтра, 16 сентября, в 19:00 CEST/UTC+2 / 20:00 MSK
запись 4й лекции можно найти по ссылке
Zoom Современные теории типов 2026 - 🔥 10
FO formal labs @formallabs · 419 subscribers - Sep 26, 2026Лекция по формализации математики в Lean начнется через 30 минут: https://yandex.zoom.us/j…
- Sep 24, 2026записи лекций по теории категорий обновлены
- Sep 24, 2026Всем привет! На manytask вышла первая домашка по Lean. Во всех задачах нужно заменить sorr…
- Sep 23, 2026Через 5 минут мы начинаем! (ссылка на трансляцию на странице курса)
- Sep 22, 2026Завтра продолжится курс по теории категорий. Наша цель — детально разобраться в двух фунда…
- Sep 19, 2026Лекция по формализации математики в Lean начнется через 15 минут: https://yandex.zoom.us/j…