The Coq mailing list

[Hugo Herbelin <Hugo.Herbelin AT inria.fr>]

On behalf of the developers of Coq, I'd like to thank all the users
who gave their support to the system over all the years. This support
has been instrumental in the attribution of the ACM programming
languages software award.

http://www.sigplan.org/Awards/Software/Main

Let me seize this opportunity to remind that the development of Coq (a
reminiscence of CoC, acronym for the hybrid programming language and
logical formalism "Calculus of Constructions") has been initiated by
Gérard Huet and Thierry Coquand in 1984, joined shortly after by
Christine Paulin. In the end, more than 40 developers directly
contributed to the code, and a very large number of users suggested
improvements. See http://coq.inria.fr/who-did-what-in-coq for a list
of credits (it has not been updated to 8.4 yet but it still gives a
relative good overview of the situation).

The award will be officially delivered at the PoPL conference in San
Diego, USA, January 2014.

Hugo Herbelin