3 ms·Errr, checking correctness of proofs is decidable.by ogogmad 1y agoErrr, checking correctness of proofs is decidable.