Tutorial

Coq in a Hurry, A tutorial by Yves Bertot

Resources for Newbies

Well, thinking in Coq is not hard. It just requires some time to learn syntax and basic tactics. After that you'll be able to create almost any possible proof. Of course, it's better to start with Coq FAQ. The library also contains a lot of small proofs and can help a lot to get started: http://coq.inria.fr/library/.

But some questions are always interesting for any newbie:

ComparisonWithOtherSystems

If you are searching some little task to contribute, you might want to look at

ProjectIdeas

Novice coq users can submit questions to CoqNewbieQuestions.

CoqNewbie (last edited 07-12-2007 20:37:49 by localhost)

Cocorico!WikiLicense