5. Coq. Разбор д-ва терминируемости алгоритма Евклида
Лекция №5 курса «Семантика языков программирования» (весна 2022).
Преподаватель — Антон Подкопаев
Страница лекции на сайте CS центра:
3 days ago 00:25:28 1
3 weeks ago 00:25:47 1
3 weeks ago 04:23:12 2
4 weeks ago 00:02:38 1
4 weeks ago 00:18:41 1
2 months ago 00:00:54 1
2 months ago 00:02:38 2
3 months ago 00:03:08 1
3 months ago 00:00:00 1
4 months ago 00:15:01 1
4 months ago 00:10:47 1
4 months ago 00:13:45 1
4 months ago 00:51:30 1
4 months ago 00:00:29 1
4 months ago 00:23:33 1
4 months ago 00:27:33 1
5 months ago 00:12:50 1
5 months ago 00:56:20 1
5 months ago 01:00:17 1
6 months ago 00:42:04 1
6 months ago 01:13:23 1
7 months ago 00:14:32 1
7 months ago 00:02:32 1
7 months ago 00:05:26 1
