1
Un bug del correttore di bozze ha mai invalidato una prova importante?
La maggior parte (tutti?) Degli assistenti di prova hanno risolto alcuni bug relativi alla solidità. Tuttavia, da quelli che ho visto questi bug di solito sono difficili da trovare involontariamente, e i risultati dimostrati prima che il bug venga risolto generalmente reggono dopo la correzione. Tre domande, in ordine di …