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

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

https://t.me/formalphilosophy

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

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

Дмитрий Почепецкий:бизнес,саморазвитие,здоровье

Освіта

🥇Покажу, как достичь целей и построить бизнес 🏋️‍♂️Профи по техникам трансформации и саморазвития 🎁Пишите @Pochepeckiy, чтобы получить подарок

https://t.me/bisnesdp

Міжнародно-правовий факультет

Освіта

ЄДИНА офіційна сторінка Студентського самоврядування Міжнародно- правового факультету🌐 Запитання, пропозиції, звернення, додаткова інформація - @olyanaaaaa

https://t.me/vivat7faculty

Олимпиады и КНП в НИШ

Освіта

Олимпиады и конкурсы научных проектов для учащихся НИШ

https://t.me/NISolympiads19

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