bandeau Aconit

Navigation : Publications  > 

Pour nous écrire :


© 2002-2020 - Aconit

Félicitations à l’équipe de développeurs qui a conçu le système Coq, qui a reçu le prestigieux ACM Software System Award. Le logiciel Coq 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. La fiabilité des programmes est absolument fondamental pour le futur de la société numérique ! Cet assistant de preuve très performant séduit désormais les mathématiciens.

AUTRES BREVES :

Haut de page | Accueil | Plan du site | Mentions légales | Administration ?