coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Volker Stolz <stolz+coq AT ifi.uio.no>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Library about Ensembles?
- Date: Sun, 03 Nov 2013 13:00:07 +0100
Good evening everyone,
I just found myself defining and proving a handful of lemmas over
Ensemble-operations, and I doubt I already have all that I'll need.
Maybe someone already has a nice collection of them that she'd like to
share (going beyond those in Powerset_facts)?
-Volker
- [Coq-Club] Library about Ensembles?, Volker Stolz, 11/03/2013
- Re: [Coq-Club] Library about Ensembles?, Ryan Wisnesky, 11/03/2013
Archive powered by MHonArc 2.6.18.