P
Initializing...
Halting reduces to the synchronous game value (MIP* = RE, Theorem 12.2) · Prove2Me