Живая группа: 10 человек писали за 30 дней, 100 % из них отвечали другим, на 60 % сообщений отвечают, аудитория стабильна.
О группе
Обсуждение формальных систем, теории типов, категорной семантики и пруверов вроде Rocq.
Описание в Telegram
Изучаем математику
Главные цифры
122
участника
24 ч±0
7 дней±0
30 дней+7
260
сообщений за 30 дней
≈ 8,7 в день
10
пишущих за 30 дней
0
площадок цитируют за 30 дней
6 за всё время
Место в каталоге: #4 073 275 · #272 992 в категории · #1 686 643 в языке
Аудитория
Участники 122
история копится с 03.10.2026
2026-10-032026-11-07
0за 7 дней
+7за 30 дней
Это ваша группа? Покажите её статистикуСтрока для описания или поста о рекламе и значок для сайта — со свежими числами и ссылкой на эту страницу.
Получить ссылку и значок
Поставьте строку в описание — у названия появится отметка «✓ ссылка от владельца» на сайте, в боте и мини-аппе. Описание мы перечитываем сами; сразу — кнопкой «Проверить ссылку» в боте или мини-аппе.
Для описания в Telegram
HTML для сайта
Markdown — README и вики
BBCode — форумы
Посты
Последние посты
раз уж у нас тут дневничок формализатора, то поделюсь, что продолжаю формализовывать теоркат. всё ещё иду по лекциям из formal-labs. хотя как сказать, по "лекциям" - я уже половину первой (третьей по счёту, но первой по сути - у них там в о…Я доволен, закончил делать самую нудную часть, можно приступать к интересному😋https://youtube.com/playlist?list=PLZuAQEGNXpug&si=wiS3imrkjfHOxCHyСпасибо, получилось🤗 А то у меня что-то засело в голове убеждение, что сравнение и нормализация должны происходить в одной функции, хотя я ж знаю что разделяй и властвуй.А для этого мне 100% нужен впн. Я Булычева смотрел на эту тему. Наверное надо ещё раз посмотреть ибо это было давно.type_beq делает сначала eval_term, а потом уже снова norm_term_beq. понятно, что так уже не работает, потому что вычисление реально может породить больший терм. тут хоть обдоказывайсяВся лента →Похожие площадки — Математика
Д
Данир на связи | Математика ОГЭ 2027 | Умскул
Математик Андрей
Максим Коваль. ЕГЭ по математике
Стас Экспонента | Математика ОГЭ | 100балльный репетитор
Physics.Math.Code
Артур Шарафиев | Профильная математика ЕГЭ 2027 | Турик Матанит | Умскул
@danirmath
канал388 494 подп.64 постов/нед1 авторов/недruМ@matematik_andrei_channel
канал967 300 подп.7 постов/нед1 авторов/недruМ@MO_EGE
канал81 046 подп.29 постов/нед1 авторов/недruС@exponentamath
канал96 416 подп.61 постов/нед1 авторов/недruP@physics_lib
канал146 708 подп.17 постов/нед1 авторов/недruА@art_matanit
канал152 434 подп.31 постов/нед1 авторов/недruИстория
История названий
как площадка называлась раньше и какие @ники держала — по данным индекса
22.10.2026впервые увидели · «Клуб изучения формальных систем» @Formalsystems
05.07.2025перешла из обычной группы «Клуб изучения формальных систем» · по ленте площадки
История @Formalsystems
кто держал этот юзернейм раньше — по данным индекса
Клуб изучения формальных системдержит сейчас
Архив по месяцам · 17
данные витрины на 06.11.2026 04:25 UTC · Как считаем →