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 » Coq, lauréat du Prix « science ouverte du … de preuves Coq , que des équipes de l’Université Paris-Saclay ont contribué à développer, a remporté ce Prix dans … de preuves Coq , que des équipes de l’Université Paris-Saclay ont contribué à développer, a remporté ce Prix …
Published on: