Divers
Interstices⚓︎
Site de « Interstices »
Revue scientifique sur les sciences du numérique
Site du CERN de Tim Berners-Lee⚓︎
Site mis en ligne le 20/12/1990
Problem Solving with Algorithms and Data Structures using Python⚓︎
Site de Brad Miller et David Ranum
Coq : système de gestion de preuve formelle de l'INRIA⚓︎
Le logiciel Coq permet en particulier :
- de manipuler des assertions de calcul ;
- de vérifier mécaniquement des preuves de ces assertions ;
- d'aider à la recherche de preuves formelles ;
- de synthétiser des programmes certifiés à partir de preuves constructives de leurs spécifications.
Coq de l'INRIA (EN)
