3 ms·
It is not only unsurprising ; it was always expected. There is no difference between programs and proofs. They are the same thing
by anon291 5mo ago
It is not only unsurprising ; it was always expected. There is no difference between programs and proofs. They are the same thing