Телеграм канал Формальная ФилософияShare!

Канал о философии математики. В качестве формального языка используется гомотопическая теория типов, в качестве имплементации — кубики. Много прозы.
Освіта

https://t.me/formalphilosophy

Перейти в канал @formalphilosophy

Каталог телеграм каналів

КПІ ім. Ігоря Сікорського 🇺🇦

Освіта

You can view and join @presinfokpi right away.

https://t.me/presinfokpi

Іронічний історик

Освіта

Я Іван Міщук, маркетолог з дипломом історика. Розказую про історію та літературу. Руйную міфи. Зворотній зв'язок - @history_detected_bot

https://t.me/ironic_historian

БОчка новин

Освіта

You can view and join @bo_studia right away.

https://t.me/bo_studia

Каталог телеграм каналів