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

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

https://t.me/formalphilosophy

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

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

Общежитие #11 КПИ

Освіта

Неформальный канал. Гайд про общагу: https://telegra.ph/Gajd-po-11-obshchezhitiyu-08-02 Как активировать винду: programs.rafik.net.ua

https://t.me/kpi_hostel11

Сергій Ягодзінський

Освіта

Аналітичний канал про політику, економіку, міжнародні стратегії, освіту та усе, що визначає наше життя. Автори каналу не несуть відповідальність за коментарі дописувачів. Співпраця - @Sophist.

https://t.me/Sophist_UA

6 курс Випуск 2021💫

Освіта

You can view and join @med6kurs2021 right away.

https://t.me/med6kurs2021

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