Are We Fast Yet

A summary of how we measure the performance of Lean (on e.g. Mathlib), how it compares to Lean 3, and what we have planned to further improve it.

Slides Video