Natural Number Game in Lean | Hacker News Reader