All Lean Books And Where To Find Them
Summary
This article curates a personal list of Lean books and resources, focusing on Lean 3/4, metaprogramming, and formal verification. It includes recommended reading paths, commentary on the value of interactive learning tools, and notes on where to find the books and related GitHub repos.