Coq — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: «<slideshow/> === Ссылки === * «[https://www.youtube.com/playlist?list=PLQ-XJe6nVU5BwX1gV80aDhwW0Jt3tipIY Введение в верификацию пр…») |
StasFomin (обсуждение | вклад) |
||
Строка 1: | Строка 1: | ||
− | <slideshow/> | + | <slideshow style="ispras"/> |
Версия 11:33, 13 октября 2020
- Заголовок
- Coq
- Автор
- Стас Фомин
- Нижний колонтитул
- Coq
- Дополнительный нижний колонтитул
- Стас Фомин, 08:46, 10 ноября 2020