ACM Software System Award 2013

Goes to Coq, the proof assistant 🙂

It is good to see some recognition in the field… I was beginning to feel I was in the underdog of research areas, but I guess I was only uninformed. Congratulations to all the people that have worked and are working in Coq!!