Предлагаю тут делиться информацией, какие есть русскоязычные сообщества, чаты, семинары и пр. для тех что занимается или интересуется формальными доказательствами и формальной верификацией вообще, и coq в частности. Русскоязычные или проходящие в России курсы тоже можно сюда же.
Вообще, интересно: много ли в России людей занимающихся формальными доказательствами, как и где они их применяют, где общаются и т.д.
Я знаю только о недавно прошедшем курсе в CS Club: Введение в формальную верификацию программ
И на ютубе есть записи курса от того же автора: «Введение в верификацию программ» - YouTube
Обе ссылки не работают. Было бы неплохо обновить.
Первая ссылка работает. Но нужно регистрироваться на сайте, чтобы по ней пройти.
Вторая и правда устарела каким-то образом. Но я легко на шёл плейлист по названию: https://youtube.com/playlist?list=PLyZ1pMP2ZKOwMIkPgIT2iGiaDMYhpStqj&si=E_R-0xAhz1hk\_-xL
Ещё я вот такое очень начальное введение попытался сделать: Введение в Coq by Московский клуб программистов