Описание
Обсуждаем моделирование реального (или не очень) мира при помощи типов - зависимых или независимых (можно даже динамических, но только шёпотом).
STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.
Живая группа: 14 человек писали за 30 дней, 100 % из них отвечали другим, на 55 % сообщений отвечают, аудитория стабильна.
Подробная статистика →данные витрины на 07.10.2026 06:09 UTC
Типгруппа
ID1169967863
Участники459