Intro to Lean is the first class in the Lean Learning Pathway and the prerequisite course for A3 Thinking 101.
