Solution to the natural number game by By Kevin Buzzard and Mohammad Pedramfar. The game can be found here: https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/ Written in Lean.
More about me
I am an undergraduate studying mathematics at the University of Oxford. I have spent some time learning Lean and wish to share my solutions here. I am open to any suggestions and discussions.