coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Edsko de Vries <devriese AT cs.tcd.ie>
- To: dimitrisg7 <dvekris AT hotmail.com>
- Cc: coq-club AT pauillac.inria.fr
- Subject: Re: [Coq-Club] Problems with tail-recursion.
- Date: Thu, 12 Mar 2009 15:11:03 +0000
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
What's difficult about them? I tried lemma1 and lemma2, and they go through easily enough. Where do you get stuck?
(BTW, compare_nat is eq_nat_dec from the Arith library).
Edsko
- [Coq-Club] Problems with tail-recursion., dimitrisg7
- Re: [Coq-Club] Problems with tail-recursion., Edsko de Vries
- RE: [Coq-Club] Problems with tail-recursion.,
Dimitris Vekris
- Re: [Coq-Club] Problems with tail-recursion., Edsko de Vries
- Re: [Coq-Club] Problems with tail-recursion.,
Cedric Auger
- Re: [Coq-Club] Problems with tail-recursion., Adam Chlipala
- RE: [Coq-Club] Problems with tail-recursion.,
Dimitris Vekris
- Re: [Coq-Club] Problems with tail-recursion., Edsko de Vries
Archive powered by MhonArc 2.6.16.