03:25

Legenda

01:35

Ivanov

00:53

SashBash v Kamchatke

01:11

Duhovnye Ludi

05:39

Kino_symphony

02:27

стихи Нестора Ивановича

05:32

рождество

03:11

палата номер шесть

04:58

дядя Федор Чистяков

02:33

Сурганова - Жанет , CustleRock 2004

01:54

Сурганова - Пороховая, 1999г

01:01:15

Standard Model Representaion by Cohl Furey

06:46

Sahale Djiin

05:15

Giyo Parisian Girl

07:21

Matzingha - Grau

01:40

песенка о жопе

07:50

мета 04 - доказуемость и непротиворечивость

11:26

мета 03 - теорема о представлении

07:39

мета 02 - арифметика Пеано

11:41

мета 01 - язык, теория, модель

27:01

Idris BinaryOps and verifications

13:15

Idris Printf verification

16:40

Idris Monoid verification

38:34

лекция HoTT 03

01:05:02

лекция HoTT 02

47:02

лекция HoTT 01

08:51

предикаты и кванторы

03:20

идеальный шторм, ... твою ...

02:35

я всегда считал

02:27

есть в дожде откровенье

03:11

"летел голубь" - Елена Фролова

02:29

"далеко-далеко" Цой и Рыбин

03:31

Цой и Рыбин - "железнодорожная вода"

01:33

what man can do and what man cannot do

14:57

киевские снайперы. 20.02.2014

03:50

I wish I could, I wish I could

02:18

"Рок" Алексея Учителя. 1988

00:20

третья мировая война

01:52

гудбай, америка