Антон Трунов Курсы Введение в язык формальной верификации Coq Computer Science Center Антон Трунов Курс (2) Лекции Введение в язык формальной верификации Coq. Лекция 2 Computer Science Center Антон Трунов Введение в язык формальной верификации Coq. Лекция 1 Computer Science Center Антон Трунов