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

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

https://t.me/formalphilosophy

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

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

Aircraft Manufacturing and Repair

Освіта

Образовательные материалы и вспомогательные материалы по Авиационной и ракетно-космической технике / Educational materials for studying of Aircraft Manufacturing and Repair

https://t.me/aircraft_manufacturing

Solid English School

Освіта

IT & Business English for Software Developers, QA, UI/UX designer, PM, HR, BA, PO, Artists, Animators, DevOps. Сайт - solid.com.ua Inst - https://www.instagram.com/solid.com.ua/ 📲 067 774 42 84 @Solid_ES_Manager

https://t.me/solid_english_school

StartKarazin

Освіта

Офіційний телеграм-канал для абітурієнтів Каразінського.

https://t.me/StartKarazinUniver

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