2 ms·
While a formalised proof is guaranteed to be a correct proof, the question is “What is it a correct proof of‽”
by black_knight 5mo ago
While a formalised proof is guaranteed to be a correct proof, the question is “What is it a correct proof of‽”