161−3
Канал про філософію математики. Як формальна мова використовується гомотопічна теорія типів, як імплементація — кубіки. Багато прози.
Similar channels
203576−8346
Самые желанные девушки 💃 По всем вопросам: @tgSmokke Все наши каналы: @tgSmokeMedia Ссылка для приглашения: @tgHisto Менеджеры: @tgbester @SmokeManagers @Spiral_Miya
71354−184
Interesting Engineering is a cutting edge, leading community designed for all lovers of engineering, technology and science. Email us at contact@interestingengineering.com 👍 Facebook: facebook.com/interestingengineering
1276441+4964
Головний новинно-політичний канал УКРАЇНИ!🇺🇦 Посилання на канал: https://t.me/+Nf4rbRyLI4k3NzRi Інстаграм: https://www.instagram.com/novynaukr/ Співпраця: @tlgrm_13
37738+1336
Эксклюзивные задания и материалы для подготовки к ВПР Для связи пишите @Teacher_club21v
43930+2692
Заявки в канал приймаються миттєво 👌 Функціональні аксесуари з характером 🔸Створенні для тих, хто цінує надійність і стиль ✅ Пожиттєва гарантія якості ⚡️Швидке та персоналізоване виготовлення
37225+791
Найбільший в ТГ канал про книжки З рекламними менеджерами не співпрацюю. Всі інші - пишіть: @gonchenko Прайс на рекламу: https://bit.ly/3OAGk4p Подякувати: https://send.monobank.ua/jar/5wNieTYLDK