coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] FixePoint

From: Adam Chlipala <adamc AT csail.mit.edu>
To: Djamila Baroudi <baroudi.d7 AT gmail.com>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] FixePoint
Date: Sun, 20 Oct 2013 15:58:21 -0400

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.

[Coq-Club] FixePoint, Djamila Baroudi, 10/20/2013
- Re: [Coq-Club] FixePoint, Adam Chlipala, 10/20/2013
  - Re: [Coq-Club] FixePoint, Pierre Boutillier, 10/20/2013
- Re: [Coq-Club] FixePoint, mukesh tiwari, 10/23/2013