4 ms·If your game is big, then your proof will need to be huge. It works basically the same as Lean.by developedby 14d agoIf your game is big, then your proof will need to be huge. It works basically the same as Lean.