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

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

https://t.me/formalphilosophy

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

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

Факультет ІТК

Освіта

Факультет Інформаційних технологій і Кібербезпеки | Державний університет інтелектуальних технологій і зв'язку

https://t.me/your_institute

ЧГ. Інше

Освіта

Підрозділ @chervonyguber

https://t.me/ch_g_inshe

Мовний клуб КНУ

Освіта

Бот: @language_club_KNUbot

https://t.me/movnyjclubknu

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