КатегорииДобавить

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

Канал про філософію математики. Як формальна мова використовується гомотопічна теорія типів, як імплементація — кубіки. Багато прози.
30
197
11 окт 2024
Релевантные каналы и боты

Gradus ad Parnassum

4187
@gradusadparnassum