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

Merge pull request #922 from deevroman/automatter

Browse Source 
add Автоматерия
This commit is contained in:
Dan K 2023-08-31 17:41:57 +03:00 committed by GitHub
commit 6c4fc99c5f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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

@ -920,6 +920,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) — Чат про клеточные автоматы
[(Назад к меню)](#Меню) [(Назад к меню)](#Меню)