Формальная верификация в математике. Семинар 5, И.Н.Смирнов

16.10.26 Лектор — Иван Николаевич Смирнов Страница курса — https://mccme.ru/ru/nmu/courses-of-nmu/osen-20262027/nmu_autumn2026_formal_verification Плейлист на YouTube — https://www.youtube.com/playlist?list=PLV23vJ7AKsL4 Плейлист на RuTube — https://rutube.ru/plst/1773109 Канал НМУ на RuTube — https://rutube.ru/channel/42881756