From c50900f1de2436f6e99368a2fbd225ea9c7c819c Mon Sep 17 00:00:00 2001 From: Roman Deev Date: Wed, 30 Aug 2023 17:52:14 +0300 Subject: [PATCH] =?UTF-8?q?add=20=D0=90=D0=B2=D1=82=D0=BE=D0=BC=D0=B0?= =?UTF-8?q?=D1=82=D0=B5=D1=80=D0=B8=D1=8F?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 0f652c5..b2cc4c3 100644 --- a/README.md +++ b/README.md @@ -919,6 +919,7 @@ * [Математический чат](https://t.me/typ_math_chat) — Уютное логово математиков * [Формальные методы верификации ПО на практике](https://t.me/practical_fm) — Обсуждение тем, связанных с практическим использованием формальных методов верификации и спецификации ПО. * [Теория категорий](https://t.me/ru_catheory) — Чат о теории категорий +* [Автоматерия](https://t.me/automatter) — Чат про клеточные автоматы [(Назад к меню)](#Меню)