The Coq mailing list

[Sébastien Fricker <fricker AT froglogic.com>]

On 12/02/2014 02:43, Kristopher Micinski wrote:
> Cocorico is a fairly good resource:
>
> http://coq.inria.fr/cocorico/
>
> But it's unclear to me whether it's been kept current so that people
> can systematically progress from beginner to advanced feature users.

The resource is effectively good.
But to be honest, learning to work with a proof assistant is a little
bit more difficult than learning a programming language,
may be because you have to learn a lot of new concepts or because it
needs competences in mathematics and computing science.
That's why some courses would be very good.

Well I have actually read 50% of CoqArt' and I need to reread some parts
because I misunderstood some points. The learning curve is very high.