HN Explorer

1 comment

[ 2.2 ms ] story [ 13.2 ms ] thread
black_knight
While a formalised proof is guaranteed to be a correct proof, the question is “What is it a correct proof of‽”