Комментарии 3
Думаю все же стоит начинать с введения в object caml, на котором написан coq.
0
Большое спасибо за статьи, как раз думал немного поизучать Coq.
Вопрос — а есть ли формализация на Coq, скажем, курса школьной геометрии?
Вопрос — а есть ли формализация на Coq, скажем, курса школьной геометрии?
+1
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Мягкое введение в Coq: структуры данных и функции высших порядков