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!!