Re: Pas sûr que trouver des erreurs/la fiabilité soit si important pour la communauté libre..

Retourner au contenu associé (dépêche : [code] Trouver les erreurs)

[^] # Re: Pas sûr que trouver des erreurs/la fiabilité soit si important pour la communauté libre..

Posté par Nicolas Boulay (site web personnel) le 16 janvier 2015 à 17:15. En réponse à la dépêche [code] Trouver les erreurs. Évalué à 1.

"La méthode la plus sûre reste l'emploi de méthodes formelles."

Les prouveurs n'étant pas reconnu par la DO, je ne vois pas comment tu peux dire ça. Il faudrait pour cela que quelqu'un en qualifie un, ce n'est pas gagné.

"La première sécurité est la liberté"