Talents, Recherche
Coq, lauréat du Prix « science ouverte du logiciel libre de la recherche »
… L'assistant de preuves Coq , que des équipes de l’Université Paris-Saclay ont contribué à développer, a remporté ce Prix … du projet Coq. Des recherches qui se poursuivent à l’Université Paris-Saclay Au LMF, les contributions au système …Article publié le: