Size: a a a

2018 April 13

TN

Tonpa Namdak in groupoid.space
источник

TN

Tonpa Namdak in groupoid.space
источник

TN

Tonpa Namdak in groupoid.space
источник
2018 April 24

TN

Tonpa Namdak in groupoid.space
источник

TN

Tonpa Namdak in groupoid.space
источник

TN

Tonpa Namdak in groupoid.space
источник

TN

Tonpa Namdak in groupoid.space
источник

TN

Tonpa Namdak in groupoid.space
источник

TN

Tonpa Namdak in groupoid.space
источник

TN

Tonpa Namdak in groupoid.space
источник

TN

Tonpa Namdak in groupoid.space
источник
2018 April 25

TN

Tonpa Namdak in groupoid.space
источник

TN

Tonpa Namdak in groupoid.space
Переписал страницу
источник
2018 April 27

TN

Tonpa Namdak in groupoid.space
Задание на 4 часа, написать W-типы на кубике. Кто хочет? :-)
источник

TN

Tonpa Namdak in groupoid.space
Упражнение, запишите W-types через Sigma, без data
источник

TN

Tonpa Namdak in groupoid.space
Kaposi
источник

TN

Tonpa Namdak in groupoid.space
источник
2018 April 28

TN

Tonpa Namdak in groupoid.space
источник

TN

Tonpa Namdak in groupoid.space
Когда в твоей статье два медалиста Филдса должно проконать
источник
2018 April 30

TN

Tonpa Namdak in groupoid.space
Вторая статья про 0=0 прошла пир ревью
источник