[dqpb]

I worked through the natural number game in Lean 3 and liked it a lot. I’m very excited for Lean 4.