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

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

https://t.me/formalphilosophy

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

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

НУ «ОЮА»

Освіта

✅Офіційний телеграм канал ⚖️Національного університету "Одеська юридична академія"

https://t.me/nuoua_university

Освітня компанія Atom

Освіта

Все зсередини: блог про будівництво сучасної освіти. Тут ми ділимося новинами, злетами та падіннями, цілями та планами на майбутнє. Більше про Атом - https://at.university/ Записатися на навчання / поставити питання – @

https://t.me/atom_university

Тренерський факультет НУФВСУ

Освіта

Новини, анонси, звіти, інформація про діяльність тренерського факультету НУФВСУ

https://t.me/trefanufvsu

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