161−3
Канал про філософію математики. Як формальна мова використовується гомотопічна теорія типів, як імплементація — кубіки. Багато прози.
Similar channels
39876+481
▶️ Вопросы: @EugenDeutsch ▶️ Изучение немецкого: https://t.me/+ZA6F6nmaUDtlZTJi ▶️ Фильмы на немецком: https://t.me/+ru63xw3cUx9iNmRi ▶️ Книги на немецком: https://t.me/+suEYYOKI9xdmMWFi ▶️ Резервный канал: https://t.me/+miICYGwhy542NGMy
103742−2030
Самый главный канал с фактами 🧠 🔥 Сотрудничество: @sylvestrTG Купить рекламу: https://telega.in/c/Factorium_mind
72821−485
Петербург, о котором вам не расскажут — Ностальгические фото — Необычные факты — Места, которых нет в навигаторе По рекламе: @nevablog78 Сотрудничаем: @Tgpodbor_official, @TpIpLe11, @Spiral_Yuri, @PiarPiter РКН: https://vk.cc/cFV44g
188448−6143
Все самое свежее из мира медицины💉 По рекламе: @Tg_maksimiliano , @ricco_boss Менеджер: @Spiral_Miya
39736+123
Новини від головного редактора ІА «Конкурент» та депутата Луцькради Андрія Лучика. Найважливіше в одному каналі. Оперативно та без «води». Повідомити новину: @luchyk_exclusive_bot (конфіденційність гарантовано) З питань реклами звертайтеся: @ok_punyak
66862−1233
#𝗢𝗳𝗳𝗶𝗰𝗶𝗮𝗹_𝗖𝗵𝗮𝗻𝗻𝗲𝗹 NCERT आधारित सभी मेटेरियल उपलब्☜︎︎︎ 📌All Teaching Exam नोट्स 🎁CA/GK Quiz, Polls, मिलेंगे 🎁ALL Gove JOB_Update ◥█████◣🇮🇳 │田│▓ ∩ │ ◥███◣ ╱◥◣ ◥████◣田∩田│ 🌷"मेरी इच्छा, सबको शिक्षा"!!🌷 ══━━━━✥🎯 ✥━━━━══
40628−2376
🎓ШколаОтвет — предоставляет помощь с экзаменами, пробниками, олимпиадами, региональными работами 🔥 Отзывы @shcool_otzivi 🚀 Купить VIP: @vipshcolaotvet ⚡️ Ваш регион: @shcolaotvet_regions 👥 Беседы по регионам @regionoge 💸 Реклама @shcool_meneger