The Coq mailing list

["Benjamin C. Pierce" <bcpierce AT cis.upenn.edu>]

Fantastic news!!!  Congratulations to all the developers and users that have 
made Coq such a success!

   - Benjamin

On Apr 16, 2014, at 10:45 AM, Xavier Leroy 
<xavier.leroy AT inria.fr>
 wrote:

> Let me be the first (once more) to congratulate the Coq development
> team for receiving the 2013 ACM Software System Award:
> 
> http://awards.acm.org/software_system/
> 
> (Not to be confused with the 2013 SIGPLAN Programming Languages
> Software Award, which they received earlier.)
> 
> Three hurrahs for Coq,
> 
> - Xavier Leroy