They published both a natural language proof and a lean proof. This paper says the NL proof does not match does not match the lean proof, using different arguments and some stronger claims. It does not claim the lean…
It is in their documentation. https://partner.steamgames.com/doc/steamhardware/steamframe/...
They published both a natural language proof and a lean proof. This paper says the NL proof does not match does not match the lean proof, using different arguments and some stronger claims. It does not claim the lean…
It is in their documentation. https://partner.steamgames.com/doc/steamhardware/steamframe/...