Talents, Recherche
Coq, lauréat du Prix « science ouverte du logiciel libre de la recherche »
… ouverte du logiciel libre de la recherche » Le 5 février 2022, le ministère de l’Enseignement supérieur, de la … L'assistant de preuves Coq , que des équipes de l’Université Paris-Saclay ont contribué à développer, a … ainsi été le premier logiciel français à recevoir l'ACM Software System Award en 2013. Guillaume Melquiond (Inria) est …
Published on: