Natural Number Game: build the basic theory of the natural numbers from scratch

Article URL: https://adam.math.hhu.de/#/g/leanprover-community/NNG4

Comments URL: https://news.ycombinator.com/item?id=42440016

Points: 98

# Comments: 11