DISCOVERED IN HACKER NEWS
Adam
Adam: a product linked in Hacker News recommendation discussions.
More products
1Recommendation signals
1Sources
2025-09-30Latest mention
Why does HN talk about it?
Automatically selected excerpts in their original language. Read the full discussion for context.
To get a better appreciation of the difficulty of formally constructing the integers as we know them, I recommend trying the Numbers Game in Lean found here: https://adam.math.hhu.de/ https://adam.math.hhu.de/Read the full discussion