我在CodeWars上刷到了证明题

CodeWars是和LeetCode类似的编程刷题网站，含有一些Lean语言（一种可用于数学证明的编程语言）的题目，可以作为自然数游戏的扩展。