Reading up on Natural Number Game
1 deep · digging since may 29
- All Lean Books and Where to Find Them
A personal guide lists and reviews nine Lean 4 books, offering subjective opinions and suggested learning paths.
Short for Read Later. Save links from any browser or phone. Click to save, read to clear. The full tour
One topic. Every takeSeek and you shall find