No, A doesn’t know that because it doesn’t know B’s proof checker is correct.
You really have to be triple extra careful when talking about this stuff. I’m trying to.
Yes, I see that.
No, A doesn’t know that because it doesn’t know B’s proof checker is correct.
You really have to be triple extra careful when talking about this stuff. I’m trying to.
Yes, I see that.