“Mathlib is a GitHub repository that aims to formalize all of mathematics in the Lean proof assistant.”