« Le projet Coq reçoit le prix Science Ouverte du Logiciel Libre de Recherche ».
Théo Zimmermann, qui fait partie de l'équipe de développement, revient sur les motivations de la candidature et ce que ce prix représente pour l'équipe : https://www.theozimmermann.net/2022/03/prix-science-ouverte/