Coq

Материал из DISCOPAL
Версия от 11:33, 13 октября 2020; StasFomin (обсуждение | вклад) (Новая страница: «<slideshow/> === Ссылки === * «[https://www.youtube.com/playlist?list=PLQ-XJe6nVU5BwX1gV80aDhwW0Jt3tipIY Введение в верификацию пр…»)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск
Slide Show
Slide Show
Заголовок

Coq
Автор
Стас Фомин
Нижний колонтитул
Coq
Дополнительный нижний колонтитул

Стас Фомин, 08:46, 10 ноября 2020


Ссылки

[ Хронологический вид ]Комментарии

(нет элементов)

Войдите, чтобы комментировать.

Источник — «https://discopal.ispras.ru/index.php?title=Coq&oldid=13295»