Channel

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

@formalphilosophy

148 subscribers

About

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

EducationУкраїнська UK

Source: public Telegram profile
Last checked: 30.10.2026

No comments yet. Share your experience.