ymn Jul 3 2013 at 12:01Мягкое введение в Coq: структуры данных и функции высших порядковReading time3 minViews5.4KFunctional Programming*TutorialTotal votes 11: ↑10 and ↓1+9Add to bookmarks26Comments3
skiedr Jul 3 2013 at 17:38Думаю все же стоит начинать с введения в object caml, на котором написан coq.
ymn Jul 3 2013 at 18:46Show previous commentПо окамлу есть хорошая литература на русском языке. Однако, я считаю, что знание окамла не обязательно. Гораздо важнее знание некоторых основ математики: теория множеств, логика.
maxim_ge Apr 14 2014 at 15:18Большое спасибо за статьи, как раз думал немного поизучать Coq. Вопрос — а есть ли формализация на Coq, скажем, курса школьной геометрии?
Мягкое введение в Coq: структуры данных и функции высших порядков