3 ms·I worked through the natural number game in Lean 3 and liked it a lot. I’m very excited for Lean 4.by dqpb 6y agoI worked through the natural number game in Lean 3 and liked it a lot. I’m very excited for Lean 4.