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

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

https://t.me/formalphilosophy

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

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

ЛОМ

Освіта

Лицарі ордену мовознавства (ЛОМ) — спільнота, що стоїть на варті нашої мови. Українська для українців: небанально, широко, цікаво. @young_again_vm — з усіх питань. Канали-партнери — @projects_vm. Підтримати: https://t.me/

https://t.me/slovodnja

EdEra

Освіта

Про освіту, науку і навички майбутнього Сайт: www.ed-era.com FB: facebook.com/EdEraUa Insta: insta.com/edera_ua

https://t.me/ederaua

KMA Today

Освіта

Спудейське повсякдення та кіберпанк Могилянки • Контакти щодо постів: @annapogorielova • Засновники: @icwhlib, @anyway_alive • FB: fb.com/ukma.today • TW: twitter.com/ukma_today • Проєктна родина @sv_ukma

https://t.me/kma_today

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