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

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

https://t.me/formalphilosophy

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

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

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

Освіта

You can view and join @med6kurs2021 right away.

https://t.me/med6kurs2021

OkStudy

Освіта

Контакты для связи: @davaoks - глава платформы, @annastasizz - запись на уроки @karishaka - HR, приём на работу тьюторов

https://t.me/OkStudy137

Victor Rocha

Освіта

Только авторский контент, без желтых новостей и гаданий на кофейной гуще) Выделяю только те события, которые реально могут повлиять на рынок! Автор канала: @viktorroch

https://t.me/viktoRRocha

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