All Lean Books and Where to Find Them (opens in new tab)

Respecting traditions of the city I'm currently in This could have been a classic "Awesome Lean" repo (like this), however I'd much prefer reading subjective o...