Scaling Lean Q&A Series

Part 1

 

Part 2

 

Part 3

 

Check out the meta-recursive
Scaling Lean case-study
on the Scaling Lean Book