My solutions to https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/ (lean introduction exercices)
- Add proper lean integration
My solutions to https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/ (lean introduction exercices)