LINUX.ORG.RU

ЯПЗТ для изучения

 , ,


0

2

Привет!

После прочтения комментариев из моей прошлой темы, я решил остановить выбор на Coq.

Вопросы:

  • насколько сложно въехать в Coq без знания OCaml?
  • посоветуйте адекватные источники информации (книги или лекции) о Coq
  • какой набор инструменов надо установить для продуктивной работы?

какой набор инструменов надо установить для продуктивной работы?

Насчёт кока не знаю, но для окамла емакс очень хороший.

olibjerd ★★★★★ ()

какой набор инструменов надо установить для продуктивной работы?

ах ты толстячок

stevejobs ★★★★☆ ()
  • смотря для каких целей использовать. для изучения основ окамл не нужен.
  • SF, CPDT, Coq Art.
  • emacs. есть еще coqide для неосиляторов.

гламурный чятик: coq@c.j.r

ymn ★★★★★ ()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.