4. Интерактивное доказательство теорем в системе Coq
Четвёртая лекция курса «Соответствие Карри–Ховарда: от математической логики к программированию»
3 weeks ago 00:01:25 1
4 weeks ago 00:26:00 1
1 month ago 00:15:06 1
1 month ago 02:58:25 1
2 months ago 03:54:45 1
3 months ago 00:00:00 1
3 months ago 00:27:29 1
3 months ago 00:28:19 8
3 months ago 00:44:28 1
3 months ago 00:00:00 1
3 months ago 00:09:15 1
3 months ago 00:00:00 17
3 months ago 00:00:00 1
3 months ago 00:08:23 1
3 months ago 09:03:34 1
3 months ago 00:04:15 1
3 months ago 00:01:49 4
3 months ago 00:00:00 7
3 months ago 03:29:23 1
3 months ago 00:02:52 6
3 months ago 00:26:22 1
3 months ago 00:00:00 1
3 months ago 00:11:25 1
3 months ago 00:00:00 2
