Talents, Recherche
Coq, lauréat du Prix « science ouverte du logiciel libre de la recherche »
… Recherche Coq : un assistant pour écrire des preuves mathématiques rigoureuses Coq est d'abord un langage … qui permet d'écrire des définitions et des énoncés mathématiques mais aussi de décrire des structures de … qui permettent d'aborder des champs variés des mathématiques et de l'informatique. Parmi les développements …Article publié le: