coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Richard Dapoigny <richard.dapoigny AT univ-savoie.fr>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Lattice library
- Date: Sun, 17 Nov 2013 17:01:36 +0100
|
Hi all, Is there anyone aware of an existing library written in Coq about lattices? Thanks in advance for your help. Richard --
|
begin:vcard fn:Richard Dapoigny n:Dapoigny;Richard email;internet:richard.dapoigny AT univ-savoie.fr tel;work:+33 450 09 65 29 tel;cell:+33 621 35 31 43 version:2.1 end:vcard
- [Coq-Club] "Semantics of Proofs and Certified Mathematics", IHP trimester (second call for starting school and workshop registration), Hugo Herbelin, 11/17/2013
- [Coq-Club] Lattice library, Richard Dapoigny, 11/17/2013
Archive powered by MHonArc 2.6.18.