Лекция 2 | Введение в язык формальной верификации Coq | Антон Трунов | Лекториум
Все лекции курса доступны по ссылке:
Подписывайтесь на канал:
Следите за новостями:
3 weeks ago 01:51:17 1
1 month ago 00:52:15 2
1 month ago 00:47:29 1
2 months ago 01:04:45 1
2 months ago 00:12:00 1
2 months ago 01:08:22 10
2 months ago 00:00:00 10
2 months ago 01:34:28 1
2 months ago 00:46:37 1
2 months ago 02:02:10 4
2 months ago 00:02:59 1
2 months ago 01:48:28 1
2 months ago 00:17:16 1
2 months ago 00:14:07 1
2 months ago 00:17:22 1
2 months ago 00:03:51 1
2 months ago 00:51:20 4
2 months ago 00:16:58 1
2 months ago 00:10:34 1
2 months ago 02:15:10 3
2 months ago 00:49:47 1
2 months ago 01:03:29 1
2 months ago 00:21:21 1
2 months ago 01:18:53 1
