Post #117
1.47K
Alex Gryzlov Онлайн-курс «Современные теории типов» В среду 15 июля в 19:00 CEST/UTC+2 (20:00 MSK) в Лаборатории формальной математики стартует курс по современным теориям типов. Лекции читают @akuklev и @clayrat по средам, примерно по часу, частота - раз в неделю (с…
Первая лекция через час, зум-ссылка в календаре.
- 👍 9
- 🕊 2
- 👀 2
- ❤ 1