This comment, and another one (“No, A doesn’t know that because it doesn’t know B’s proof checker is correct.”) are buried deep down in the comment thread, but I think they deserve their own mentions in the main post, because they are extremely helpful for the inexperienced reader to understand what the real issues are here.
This comment, and another one (“No, A doesn’t know that because it doesn’t know B’s proof checker is correct.”) are buried deep down in the comment thread, but I think they deserve their own mentions in the main post, because they are extremely helpful for the inexperienced reader to understand what the real issues are here.