Talents, Recherche
Coq, lauréat du Prix « science ouverte du logiciel libre de la recherche »
… de preuves Coq , que des équipes de l’Université Paris-Saclay ont contribué à développer, a remporté ce Prix dans la "qualité scientifique et technique". Comme indiqué par le ministère, : "L'objectif de ces prix … membres du Laboratoire Méthodes Formelles (LMF-Univ Paris-Saclay, ENS Paris-Saclay, CNRS) sont étroitement liés …
Published on: