Many people probably want to learn coq after reading the article and watching the video. Vladimir mentions that he had a course at Princeton where he learned C

Many people probably want to learn coq after reading the article and watching the video. Vladimir mentions that he had a course at Princeton where he learned Coq. Most probably this is the course: http://www.cs.princeton.edu/courses/archive/fall10/cos441/index.php http://www.cs.princeton.edu/courses/archive/fall10/cos441/in... And its based on on-line book Software Foundations http://www.cis.upenn.edu/~bcpierce/sf/toc.html http://www.cis.upenn.edu/~bcpierce/sf/toc.html which is really accessible for about anyone with small programming experience.