> Do you also have to review the proof checking code to make sure you didn't make any errors in transcription from the original paper? The point of the checked

> Do you also have to review the proof checking code to make sure you didn't make any errors in transcription from the original paper? The point of the checked proof is that your final theorem is almost definitely correct (you did not make mistakes in your deductions, unless the proof checker has a serious bug) if you can convince computer it derives from your axioms. You can convince humans without your proof being correct thought, because they might not spot an error.