Scaling Lean Q&A Webinar

 

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