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

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

https://t.me/formalphilosophy

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

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

PYZHOV_EDU

Освіта

Олександр Пижов, 🔹️Люблячий батько та коханий чоловік 👨‍👩‍👧 🔸️Генеральний директор директорату євроінтеграції, бюджетування та узгодження політик МОН 🇺🇦 Тут публікую повідомлення, новини, роздуми та обговорення.

https://t.me/pyzhov_edu

RECORD

Освіта

Інстаграм: https://instagram.com/record.up

https://t.me/recordup

Student Parliament. Borys Grinchenko Kyiv University.

Освіта

Привіт, любі грінченківці! Вас вітає студентський парламент! Найновіша та найактуальніша інформація тільки тут!

https://t.me/StudentsParliament

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