Глеб Красилич//Лямбда-исчисление и Соответствие Карри-Говарда

Глеб Красилич//Зависимые типы и автоматическая проверка доказательств (продолжение)See more

ЧТО НАДО ГОВОРИТЬ ЕСЛИ НЕ СДЕЛАЛ ДОМАШКУ!See more

1. Доказательство в интуиционистской и классической логикахSee more

Вася Обломов, Михаил Ефремов - АмнистияSee more

Ты днище, тупой, ещё и нищийSee more

Глеб Красилич//Зависимые типы и автоматическая проверка доказательствSee more

Глебати - Азбука СкуфаSee more

Вася Обломов - Чтоб рубль стоял, и деньги были!See more

Глебати - НепоняткиSee more

Глебати - Марк АврелийSee more

ПростойSee more

ЖУКИ ДАЮТ ОПЫТ 😨 КТО ПРИДУМАЛ ЭТУ ИМБУ?See more

глеб куда бежишь - Потерпел и слёгSee more

СёрклпитSee more

ПББЖ (Intro)See more

Глебати - Корова и тракторSee more

Компиляция. Как работает компиляторSee more