Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Mathematicians welcome computer-assisted proof in ‘grand unification’ theory. Parent comment
It's a game implemented in lean, where you work your way through the basic facts about natural numbers.
There are no comments on this comment yet.
It's a game implemented in lean, where you work your way through the basic facts about natural numbers.