在此位置投放你的广告，仅需15 USDT每天（24 小时）
联系我们Обсуждаем моделирование реального (или не очень) мира при помощи типов - зависимых или независимых (можно даже динамических, но только шёпотом).
STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.
订阅我们的频道，了解最新动态！
每200位订阅者抽奖一次！
该分类中的其他频道：
Теория категорий
739 订阅者
Правила в схемах и таблицах
315 订阅者
ШАГ в Китай l Обучение в Китае
1 724 订阅者
Институт содержания и методов обучения им. В.С. Леднева
16 595 订阅者
Бластим: курсы и работа в биотехе
9 717 订阅者
ИИ в науке, образовании и рынке труда
1 349 订阅者
Федеральная служба по надзору в сфере образования и науки (Рособрнадзор)
23 124 订阅者
Шлюз в ВУЗ. Про образование и поступление
1 856 订阅者
Образование в Китае 🇨🇳 Чат TravelAsk
18 691 订阅者
Не исключение: об инклюзии в цифровом и физическом мире
5 499 订阅者
Project Russia - Управление проектами в России и в мире
960 订阅者
Школа Жизни
324 订阅者