Comment by anon291

1 hour ago

It is not only unsurprising ; it was always expected. There is no difference between programs and proofs. They are the same thing

0 comments