coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Yves Bertot <Yves.Bertot AT sophia.inria.fr>
- To: Ashish Darbari <ashish AT darbari.org>
- Cc: coq-club AT pauillac.inria.fr
- Subject: Re: [Coq-Club] Problem with a Proof
- Date: Tue, 10 Feb 2009 15:57:13 +0100
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Ashish Darbari wrote:
I'm trying to do a proof about the following function in which I'm finding
myself stuck.
You should also have a lemma stating that only elements in the arguments of foo end up
in the result.
Yves
- [Coq-Club] Problem with a Proof, Ashish Darbari
- Re: [Coq-Club] Problem with a Proof, Yves Bertot
- Re: [Coq-Club] Problem with a Proof, Yves Bertot
Archive powered by MhonArc 2.6.16.