The Coq mailing list

[Pierre Boutillier <pierre.boutillier AT pps.univ-paris-diderot.fr>]

Le 20 oct. 2013 à 21:58, Adam Chlipala <adamc AT csail.mit.edu> a écrit :

On 10/20/2013 03:56 PM, Djamila Baroudi wrote:

what's means fixepoint and when can i use it?

It sounds like you should be reading some introduction to Coq instead of asking this question here.  I'm also assuming you mean the keyword "Fixpoint" of Coq.  It's one of the most central features, which any tutorial will explain.

I've discovered http://cel.archives-ouvertes.fr/docs/00/47/58/07/PDF/coq-hurry.pdf just know. There is only 6 pages there before getting to the Fixpoint question … Pretty cool

Any one of the "Other documentation" presented there : http://coq.inria.fr/documentation is really good

The CoqArt (the first one) has a french version. second and third one are more modern 

Good luck :-)

Pierre B.