Reading up on David Thrane Christiansen
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.
One topic. Every takeSeek and you shall find