Natural Number Game for Lean 4 - https://news.ycombinator.com/item?id=37880788 - Oct 2023 (1 comment)
The Natural Number Game - https://news.ycombinator.com/item?id=27504877 - June 2021 (2 comments)
Natural number game - https://news.ycombinator.com/item?id=22801607 - April 2020 (14 comments)