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

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

https://t.me/formalphilosophy

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

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

Історія України

Освіта

Що відбувалося цього дня в нашій країні та в світі 50 або 100 років тому? Читай про усі найвизначніші історичні події нашого минулого. Співпраця: @besti4ek @milaniia

https://t.me/ukrainian_history

Кафедра історії держави і права України і зарубіжних країн

Освіта

На цьому каналі маєте можливість отримувати всю необхідну інформацію першими та з достовірних джерел 😉

https://t.me/historynlu

Історія ЗНО

Освіта

Група підготовки до ЗНО

https://t.me/rozumschoolhist

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