Talents, Recherche
Coq, lauréat du Prix « science ouverte du logiciel libre de la recherche »
… mathématiques rigoureuses Coq est d'abord un langage informatique qui permet d'écrire des définitions et des … mais aussi de décrire des structures de données informatiques et des algorithmes. Il s’agit d’un … d'aborder des champs variés des mathématiques et de l'informatique. Parmi les développements de grande ampleur …Article publié le: mer 16/02/2022 - 08:49