Talents, Recherche
Coq, lauréat du Prix « science ouverte du logiciel libre de la recherche »
… du logiciel libre de la recherche » Le 5 février 2022, le ministère de l’Enseignement supérieur, de la Recherche et de l’Innovation a remis pour la première année les Prix « science … de rendre la preuve formelle accessible à un plus large public. Dans la suite et dans l'esprit du système Coq, les …Article publié le: