coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Is this apparently decidable existential provable?

From: "Floyd Lee" <undecidable AT secureroot.com>
To: "Xavier Leroy" <Xavier.Leroy AT inria.fr>
Cc: <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Is this apparently decidable existential provable?
Date: Mon, 27 May 2013 06:36:41 -0700

---
Xavier.Leroy AT inria.fr
wrote:
> No, unless the type A is finite.

Makes sense, thanks.

_____________________________________________________________
---
http://mail.secureroot.com/ - free mailbox for hackers and geeks

[Coq-Club] Is this apparently decidable existential provable?, Floyd Lee, 05/27/2013
- Re: [Coq-Club] Is this apparently decidable existential provable?, Xavier Leroy, 05/27/2013
- <Possible follow-up(s)>
- Re: [Coq-Club] Is this apparently decidable existential provable?, Floyd Lee, 05/27/2013