Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2508.21593 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914079519539200 |
|---|---|
| author | Baanen, Anne Ballard, Matthew Robert Commelin, Johan Chen, Bryan Gin-ge Rothgang, Michael Testa, Damiano |
| author_facet | Baanen, Anne Ballard, Matthew Robert Commelin, Johan Chen, Bryan Gin-ge Rothgang, Michael Testa, Damiano |
| contents | 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 change and avoiding maintainer overload. This includes dealing with breaking changes via a deprecation system, using code quality analysis tools (linters) to provide direct user feedback about common pitfalls, speeding up compilation times through conscious library (re-)design, dealing with technical debt as well as writing custom tooling to help with the review and triage of new contributions. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_21593 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Growing Mathlib: maintenance of a large scale mathematical library Baanen, Anne Ballard, Matthew Robert Commelin, Johan Chen, Bryan Gin-ge Rothgang, Michael Testa, Damiano Programming Languages Mathematical Software History and Overview 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 change and avoiding maintainer overload. This includes dealing with breaking changes via a deprecation system, using code quality analysis tools (linters) to provide direct user feedback about common pitfalls, speeding up compilation times through conscious library (re-)design, dealing with technical debt as well as writing custom tooling to help with the review and triage of new contributions. |
| title | Growing Mathlib: maintenance of a large scale mathematical library |
| topic | Programming Languages Mathematical Software History and Overview |
| url | https://arxiv.org/abs/2508.21593 |