Talents, Recherche
Coq, lauréat du Prix « science ouverte du logiciel libre de la recherche »
… Coq, lauréat du Prix « science ouverte du logiciel libre de la recherche … 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 …Article publié le: