Абдуламин Исмаилов//Введение в теорию типов
1:24:43
Надежда Хорошавкина//Роль аксиомы выбора в игре о шляпах
49:07
Неформальное введение в теорию типов, Максим Кольцов / PiterPy Meetup #21
1:24:59
Никита Лукашов//Допустимые правила вывода в IPC
48:35
I. Основания математики: теория множеств vs. теория типов
45:40
прогрессия
1:21:18
Дарья Криницина//Теорема Биркгофа для квазимногообразий.
1:01:07
"El reto del billón de filas": Hacks para procesar más de 12GB en 2 segundos | #laFunción 9x16
1:44:28