Телеграм канал Студрада студмістечка НАУShare!

Студентська рада Студмістечка НАУ Офіційний канал. Робимо ваше життя комфортніше та веселіше. Чат СМ НАУ : @sm_nau_chat
Освіта

https://t.me/nau_srsm

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

❗️Замовити публікацію звертатися до - @oksana_alexandrovna02 🪄Подати запит на продаж - @makspet82

Маєш питання? Пиши нам у @profkneu_bot 📢 Допомога ЗСУ UA843000010000000047330992708 Ми знаходимось за адресою проспект Перемоги, 54А - 4,5,6 каб.

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