Growing Mathlib: maintenance of a large scale mathematical library

Anne Baanen, Matthew Robert Ballard, Johan Commelin +3

The Lean mathematical library Mathlib is one of the fastest-growing libraries of formalised mathematics. We describe various strategies to manage this growth, while allowing for ch…