coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] a collection of description of typical examples in COQ

From: Pierre Lescanne <pierre.lescanne AT ens-lyon.fr>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] a collection of description of typical examples in COQ
Date: Sun, 29 Jun 2008 08:41:30 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Organization: ENS de Lyon

I would like to quote examples (success stories) run in COQ using one citation. Does there exist such a collection of examples? Even a url would be good.

Pierre Lescanne

[Coq-Club] a collection of description of typical examples in COQ, Pierre Lescanne