coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Finite subsets of N in ssreflect?

From: Cyril Cohen <cohen AT crans.org>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Finite subsets of N in ssreflect?
Date: Wed, 13 May 2015 18:22:50 +0200

Hi,

On 12/05/2015 11:08, Pierre-Yves Strub wrote:
> while waiting for Cyril to release its library (Yes, Cyril, I putting a
> bit of pressure on you -- we are all waiting :) )

My *draft* library is now available at https://github.com/Barbichu/finmap.

Best,
--
Cyril Cohen

[Coq-Club] Finite subsets of N in ssreflect?, Holden Lee, 05/12/2015
- Re: [Coq-Club] Finite subsets of N in ssreflect?, Laurent Théry, 05/12/2015
- Re: [Coq-Club] Finite subsets of N in ssreflect?, Matthieu Sozeau, 05/12/2015
  - Re: [Coq-Club] Finite subsets of N in ssreflect?, Pierre-Yves Strub, 05/12/2015
    - Re: [Coq-Club] Finite subsets of N in ssreflect?, Cyril Cohen, 05/13/2015
- Re: [Coq-Club] Finite subsets of N in ssreflect?, Frédéric Blanqui, 05/12/2015