Le fait que coq soit - si je ne m'abuse - vérifié par lui-même est un gros plus et j'ai plus confiance en lui pour cela que pour le fait qu'il soit vérifié par X personnes.
Tu t'abuses : Coq n'est pas vérifié lui-même, et c'est impossible par application du second théorème d'incomplétude.
[^] # Re: En souvenir de son infirmation de la conjecture des quatre couleurs.
Posté par auve . En réponse au journal Martin Gardner (1914-2010). Évalué à 3.
Tu t'abuses : Coq n'est pas vérifié lui-même, et c'est impossible par application du second théorème d'incomplétude.