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

Формальная Философия

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

https://t.me/formalphilosophy

© 2024 - Каталог телеграм каналів, чатів (груп), ботів