Sites Inria

Il y a 1 Résultats avec le mot clé : "ACM SIGPLAN"

Carte colorée en quatre couleurs. Coq a permis de prouver en 2004 le théorème des quatre couleurs. - Photo Sarasan (modifiée) - CC BY-SA 3.0

Distinction

Un prix pour Coq

8/01/2014

Le logiciel Coq est récompensé par le prix SIGPLAN1 Programming Languages Software Award en janvier 2014. Cet assistant de preuve constitue depuis près de trente ans un support précieux pour les informaticiens qui l’utilisent comme outil d’aide à l’écriture et à la vérification de programmes. Très performant, il séduit désormais les mathématiciens.

Mots-clés :

Accueil > Actualité > Actualités Inria > Un prix pour Coq

Lire la suite

Haut de page

Suivez Inria