Talents, Recherche
Coq, lauréat du Prix « science ouverte du logiciel libre de la recherche »
… la recherche » Le 5 février 2022, le ministère de l’Enseignement supérieur, de la Recherche et de l’Innovation a remis … et technique". Comme indiqué par le ministère, : "L'objectif de ces prix est de mettre en valeur les projets et … dans des situations où les preuves "à la main" n'offrent pas suffisamment de garanties, par exemple parce qu'elles …Article publié le: