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

@formalphilosophy

155

подписчиков

Образование

категория

Описание

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

Открыть в Telegram

Динамика подписчиков

-45 (-22.5%)

Вопросы и ответы

Сколько подписчиков у канала Формальна Філософія?

У канала @formalphilosophy 155 подписчиков на момент последнего обновления данных.

В какой категории канал Формальна Філософія?

Формальна Філософія относится к категории «Образование».

Как подписаться на канал Формальна Філософія?

Нажмите кнопку «Открыть в Telegram» на странице канала, или перейдите по ссылке https://t.me/formalphilosophy. Откроется приложение Telegram, где можно подписаться на канал.

Как называется этот канал в Telegram?

Username: @formalphilosophy. Прямая ссылка: https://t.me/formalphilosophy.