Scaling Lean to the Next Millions of Lines of Proofs

Review and preview of how we scale Lean to cope with large formalization projects.

Slides