coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Programming with finite sets, maps, relations

From: Kevin Sullivan <sullivan.kevinj AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Programming with finite sets, maps, relations
Date: Fri, 2 Aug 2013 11:49:22 -0400

Dear Coq Club:

A student and I need to write Coq code using simple finite sets and maps (e.g., to build symbol tables, do lookups in 1-n relations, and that sort of thing). Types are known statically. Are we best advised to use Coq's FSets library, Stéphane Lescuyer's First-Class Containers in Coq, or perhaps something else that we don't know about yet?

Kind regards,

Kevin

[Coq-Club] Programming with finite sets, maps, relations, Kevin Sullivan, 08/02/2013
- Re: [Coq-Club] Programming with finite sets, maps, relations, Cedric Auger, 08/02/2013
  - Re: [Coq-Club] Programming with finite sets, maps, relations, Kevin Sullivan, 08/02/2013
    - Re: [Coq-Club] Programming with finite sets, maps, relations, Frédéric Blanqui, 08/03/2013
  - Re: [Coq-Club] Programming with finite sets, maps, relations, Marco Servetto, 08/02/2013
- Re: [Coq-Club] Programming with finite sets, maps, relations, Kristopher Micinski, 08/02/2013