Natural Number Game (Lean4 Tutorial)By abetusk · 2026-09-10 · 3 points · 1 commentshttps://adam.math.hhu.de/#/g/hhu-adam/NNG4By abetusk · 3 points · 1 comments · on Hacker News, read on BetterNews.Open the full discussion on BetterNews