A lot of people say to me "I've done the natural number game, what next?". One answer to that question is "if you want to explore further, install Lean 3 and the community tools by following the ...