The Coq mailing list

[Nuno Gaspar <nmpgaspar AT gmail.com>]

Great stuff :-)

Is there a report about this decision? I don't seem to find it on the website...

I would be curious to see what were the arguments of Coq over Isabelle..

2014-04-16 17:06 GMT+02:00 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

--
Bart: Look at me, I'm a grad student, I'm 30 years old and I made $600 dollars last year.
Marge: Bart! Don't make fun of grad students, they just made a terrible life choice.