Описание
Изучаем математику
Обсуждение формальных систем, теории типов, категорной семантики и пруверов вроде Rocq.
Живая группа: 10 человек писали за 30 дней, 100 % из них отвечали другим, на 58 % сообщений отвечают, аудитория стабильна.
🔬 Наука › Математика🧩 Чат сообщества👨💻 ПрограммированиеРусскийРазвлечения · группы на русскомГруппы Telegram
Подробная статистика →данные витрины на 28.10.2026 06:57 UTC
Типгруппа
ID2862015524
Участники122
История названий
как площадка называлась раньше и какие @ники держала — по данным индекса
22.10.2026впервые увидели · «Клуб изучения формальных систем» @Formalsystems
05.07.2025перешла из обычной группы «Клуб изучения формальных систем» · по ленте площадки
История @Formalsystems
кто держал этот юзернейм раньше — по данным индекса
Клуб изучения формальных системдержит сейчас