• Natural Number Game: build the basic theory of the natural numbers from scratch https://adam.math.hhu.de/#/g/leanprover-community/NNG4 32 comments 17/12/2024