coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Laurent Thery <Laurent.Thery AT inria.fr>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Puzzle: NYC Guys
- Date: Fri, 14 Oct 2016 07:51:09 +0200
On 09/27/2016 08:30 AM, Jean-François Dufourd wrote:
Hi Fred,
Thank you for the nice puzzle and Coq formalization. But, where is the
solution?
Here is a possible proof
--
Laurent
Attachment:
puzzle.v
Description: application/coq
- Re: [Coq-Club] Puzzle: NYC Guys, Laurent Thery, 10/14/2016
- Re: [Coq-Club] Puzzle: NYC Guys, Laurent Thery, 10/17/2016
- <Possible follow-up(s)>
- Re: [Coq-Club] Puzzle: NYC Guys, Ricky Elrod, 10/17/2016
- Re: [Coq-Club] Puzzle: NYC Guys, Amirhossein Vakili, 10/17/2016
Archive powered by MHonArc 2.6.18.