177−5
Канал про філософію математики. Як формальна мова використовується гомотопічна теорія типів, як імплементація — кубіки. Багато прози.
Benzer kanallar
106485−5670
Показываем кадры из прошлого. 📩 Связь: @MacFrolov (Есть фейк) Мы на бирже: https://telega.in/c/short_history Помощник: @tamila_nailstom Приглашай друзей: @short_history
21504+1335
Reklam nəticələrinə aşağıdakı linkə keçid edərək baxa bilərsiz 👇 https://t.me/+xt6uL6MvAWM2M2Qy
34727−805
Провинция. Культура. Архитектура. Авторский блог про нашу действительность. Главный: @right_i Предложка контента (#отподписчика): @Dumerz_bot Чат: @DUMERZ
16514+15
Самые интересные факты из истории России, фотографии, изобретения и биографии выдающихся личностей на этом канале. Номер регистрации в РКН - 4953755133 Реклама, - КТО ПРОДАËТ- ЧИТАЙТЕ ОПИСАНИЕ @Reklamahistrus Донат 5469 3800 9018 4465
98588+6509
ДУМАЙТЕ. По всем вопросам: @jimmyborz666 @psypurple Ссылка для друзей: https://t.me/+cDLG3APqmIE1MmQy
