Привет!
После прочтения комментариев из моей прошлой темы, я решил остановить выбор на Coq.
Вопросы:
- насколько сложно въехать в Coq без знания OCaml?
- посоветуйте адекватные источники информации (книги или лекции) о Coq
- какой набор инструменов надо установить для продуктивной работы?
