Don't have Telegram yet? Try it now!
Формальная Философия
220 members
Канал о философии математики. В качестве формального языка используется гомотопическая теория типов, в качестве имплементации — кубики. Много прозы. Редколлегия: @tonpa, @systemspace.
If you have Telegram, you can view and join
Формальная Философия right away.