coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]Some statistics about Coq

From: Julien Narboux <Julien.Narboux AT inria.fr>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club]Some statistics about Coq
Date: Tue, 21 Nov 2006 14:42:59 +0100
Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:user-agent:mime-version:to:subject:content-type:content-transfer-encoding:sender; b=PGb4HSWtk8lGX/w8xvMmU/JnMWqSeDvZWYx88It4IMKjlphX2wHw+DNnO7jdzgMKUfQ6KLj1UJ0bNul8ayxkctDdrl5kJxsdyx8bQxDL5cwOtUsga5JQ/SWAl3CIvwWeC0vB6gvSdoy4EnOn1JCfF95MngRGVxK6KYQcHpLlP2c=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hi,

Here are some statistics about the size of .v files in the user contributions and in the sources of the current SVN version of Coq compared to three years ago.

The numbers are those given by Jean-Christophe's coqwc
(http://pauillac.inria.fr/coq/mailing-lists/coqdev/200309/msg00018.html).

Coq contributions

         Specifications Proofs  Comments        Total
09/03   121978  281409  35135   438522
11/06   199142  465927  41196   706265

Coq sources

        Specifications  Proofs  Comments        Total
09/03   20719   37241   3622    61582
11/06   75791   120018  12589   208398

Best wishes,

Julien

[Coq-Club]Some statistics about Coq, Julien Narboux