Um bug do verificador de provas já invalidou uma prova principal?
A maioria dos assistentes de prova (todos?) Tem bugs corrigidos na ocasião. No entanto, daqueles que eu vi esses bugs geralmente são difíceis de encontrar sem querer, e os resultados provados antes que o bug seja corrigido geralmente se mantêm após a correção. Três perguntas, em ordem de...