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

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

https://t.me/formalphilosophy

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

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

Уламок Історії

Освіта

Любиш історію? Тобі до нас! Історичні події зображені на фото

https://t.me/OskolokUa

Математика_ZNOcloud

Освіта

Телеграм канали ZNOcloud для проходження тестів ЗНО Основний канал: https://t.me/ZNOCloud Для зв‘язку з нами: @zno_cloud Реклама : @konverska_m #зно2022 #зно #зно2021 #знона200 #зноукрмова #зноматематика

https://t.me/math_znocloub

Ртуть ЗНУ

Освіта

Журнал идиотизма и андеграунд ЗНУ Чат: @znu_flood Всё субъективно! Здесь бывает то, чего не бывает на лайве Предложка: @mqpredlozhka_bot Ассистент ЗНУ: @assistznubot НЕ НЕСЁТ В СЕБЕ ЦЕЛИ ОБИДЕТЬ ИЛИ ОСКОРБИТЬ КОГО-ЛИБО!

https://t.me/mqznu

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