This video is embedded from Youtube https://youtu.be/k3T3RI1Py7g, it's not mine, Vative is the acknowledged copyright owner and it does a great job of introducing Lean.

Click the arrow to play and then select the bottom right-hand corner of the video window to view full screen