1
증명 검사기 버그가 주요 증명을 무효화 한 적이 있습니까?
대부분의 (모두?) 증거 조수는 경우에 따라 건전성 버그가 수정되었습니다. 그러나 내가 본 것에서 이러한 버그는 일반적으로 의도하지 않은 방식으로 나오기가 어렵고 버그가 수정되기 전에 결과는 일반적으로 수정 후에 유지됩니다. 힘의 순서로 세 가지 질문 : 그러한 건전성 버그 수정으로 증명을 수정하지 않고 주요 증명이 실패한 적이 있습니까? (1)이 사실 인 …