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

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

https://t.me/formalphilosophy

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

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

Evil_matan

Освіта

...

https://t.me/+UBBtA91-jHIowIa-

ФЕА | КПІ

Освіта

Неформальний канал ФЕА Сайт факультета: http://kpi.ua/fea Чат: https://t.me/joinchat/D1V5J0ORzeCUw4AEwxMqHQ Інстаграм: https://instagram.com/fea_inst?utm_source=ig_profile_share&igshid=sdb Задати питання або розповісти

https://t.me/kpi_fea

Національний авіаційний університет 😉💙✈️

Освіта

Офіційний канал Національного авіаційного університету 😉✈️ Приєднуйтесь та дізнавайтесь усі новини першими 💙 Чат - @nau_communicate Питання/пропозиції - @NAU_ask_bot

https://t.me/national_aviation_university

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