J'ai trouvé cette citation de Dikjstra sur le site qui contient ses archives . "... program testing can be used very effectively to show the presence of bugs but never to show their absence." Avec Lean, on supprime les bogues lors du développement, laissant
...