Theorem Proving in Industry with Lean

How Lean moved from mathematics into industry use and what was necessary to achieve that

Slides