goq/telegram-list
1
1
Fork 0
mirror of https://github.com/goq/telegram-list.git synced 2024-11-22 06:04:02 +03:00
Code Issues Projects Releases Wiki Activity

add Автоматерия

Browse Source
This commit is contained in:
Roman Deev 2023-08-30 17:52:14 +03:00
parent 7aff6af03a
commit c50900f1de
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
README.md
View File

@ -919,6 +919,7 @@
* [Математический чат](https://t.me/typ_math_chat) — Уютное логово математиков * [Математический чат](https://t.me/typ_math_chat) — Уютное логово математиков
* [Формальные методы верификации ПО на практике](https://t.me/practical_fm) — Обсуждение тем, связанных с практическим использованием формальных методов верификации и спецификации ПО. * [Формальные методы верификации ПО на практике](https://t.me/practical_fm) — Обсуждение тем, связанных с практическим использованием формальных методов верификации и спецификации ПО.
* [Теория категорий](https://t.me/ru_catheory) — Чат о теории категорий * [Теория категорий](https://t.me/ru_catheory) — Чат о теории категорий
* [Автоматерия](https://t.me/automatter) — Чат про клеточные автоматы
[(Назад к меню)](#Меню) [(Назад к меню)](#Меню)