goq/telegram-list
1
1
Fork 0
mirror of https://github.com/goq/telegram-list.git synced 2024-08-17 03:00:56 +03:00
Code Issues Projects Releases Wiki Activity

practical_fm

Browse Source
This commit is contained in:
Roman 2022-01-21 23:59:29 +03:00
parent 47d5fc0f5f
commit 55159e8442
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

@ -948,6 +948,7 @@
* [MATEMATIKA](https://t.me/matematika_org) — Чат про математику (есть хорошие книги в закрепе!). От https://matematika.org
* [/math/](https://t.me/slashmath) — Чат для обсуждения математики, картофана, коммутирующих диаграмм иногда теоретический физики и программирования
* [Математический чат](https://t.me/typ_math_chat) — Уютное логово математиков
* [Формальные методы верификации ПО на практике](https://t.me/practical_fm) — Обсуждение тем, связанных с практическим использованием формальных методов верификации и спецификации ПО.
[(Назад к меню)](#Меню)