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

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

https://t.me/formalphilosophy

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

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

ШКОЛА.UA

Освіта

Вітаємо! ШКОЛА.UA відкрила безкоштовний канал корисної інформації для дітей та батьків. Також у нас є онлайн-курси за донат. @shkolaua_bot

https://t.me/shkola_ua

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

Освіта

Чат общежития: https://t.me/joinchat/AAAAAEGz5m_8P5Q8EIwNTw

https://t.me/kpi_hostel21

Noosphere Engineering School

Освіта

You can view and join @NESChannel right away.

https://t.me/NESChannel

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