В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

groupoid.space

72 membersпожаловаться на группу
2019 March 11

TN

Tonpa Namdak in groupoid.space
источник
20:34пожаловаться#1

TN

Tonpa Namdak in groupoid.space
источник
20:34пожаловаться#2

TN

Tonpa Namdak in groupoid.space
campus-map-2018-8.5x11.pdf
(444.08 Кб)
источник
20:45пожаловаться#3

TN

Tonpa Namdak in groupoid.space
Screen Shot 2019-03-11 at 1.46.29 PM.png
(8.23 Кб)
кубики делают тут
источник
20:46пожаловаться#4

TN

Tonpa Namdak in groupoid.space
источник
22:33пожаловаться#5

TN

Tonpa Namdak in groupoid.space
Mike Shulman
источник
22:33пожаловаться#6

TN

Tonpa Namdak in groupoid.space
источник
22:34пожаловаться#7

TN

Tonpa Namdak in groupoid.space
Felix Wellen
источник
22:34пожаловаться#8

VK

Vlad Ki in groupoid.space
❤️
источник
22:36пожаловаться#9
2019 March 13

TN

Tonpa Namdak in groupoid.space
источник
02:56пожаловаться#10

TN

Tonpa Namdak in groupoid.space
Peter Arndt
источник
02:57пожаловаться#11

TN

Tonpa Namdak in groupoid.space
SymmetryBook.pdf
(750.03 Кб)
источник
17:47пожаловаться#12

TN

Tonpa Namdak in groupoid.space
https://github.com/UniMath/SymmetryBook
GitHub
UniMath/SymmetryBook
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage. - UniMath/SymmetryBook
источник
17:48пожаловаться#13

TN

Tonpa Namdak in groupoid.space
Короткое интервью в комнате, где было написано большинство (а именно пять) кубиков (Мортберг, Стерлинг, Анджиули)
источник
22:55пожаловаться#14
2019 March 14

TN

Tonpa Namdak in groupoid.space
https://twitter.com/5HT/status/1105946891043459072
Twitter
Namdak Tonpa
Short interview with authors of the cubical type checkers and proof assistants: Anders Mörtberg, Jon Sterling, Carlo Angiuli https://t.co/i3kk1V6jtS
источник
00:41пожаловаться#15
2019 March 15

TN

Tonpa Namdak in groupoid.space
Alexander Gietelink Oldenziel
источник
19:08пожаловаться#16

TN

Tonpa Namdak in groupoid.space
источник
19:08пожаловаться#17

TN

Tonpa Namdak in groupoid.space
источник
19:13пожаловаться#18

TN

Tonpa Namdak in groupoid.space
Carlo Angiuli, Jon Sterling
источник
19:14пожаловаться#19

P

Pavel in groupoid.space
Вот это я понимаю подборка Hott selfies 🤓👍
источник
20:17пожаловаться#20