Введение в язык формальной верификации Coq. Лекция 2

Партнёр:

Предмет:

Лектор:Антон Трунов

Курс лекций: Введение в язык формальной верификации Coq

Авторизация
*
*
Регистрация
*
*
*
Генерация пароля