BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Michael Rothgang (Universität Bonn)
DTSTART:20250116T160000Z
DTEND:20250116T163000Z
DTSTAMP:20260422T151548Z
UID:LeanTogether2025/19
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LeanTogether
 2025/19/">Scaling mathlib: tooling and automation for an ever-growing math
 ematics library</a>\nby Michael Rothgang (Universität Bonn) as part of Le
 an Together 2025\n\n\nAbstract\nMaintaining the mathlib library in the pre
 sence of continuous growth is a challenge in many aspects.\nOn a technical
  level\, this relies on a fair amount of custom tooling and automation to 
 keep things manageable. I will highlight some recent additions in areas su
 ch as deprecations\, linting\, bots and a new review dashboard.\nThis invo
 lves work by many people\, including Damiano Testa\, Johan Commelin\, Mari
 o Carneiro and the author.\n\nThis talk is mostly aimed at mathlib contrib
 utors (and reviewers)\, but there will be useful information for mathlib u
 sers also.\n
LOCATION:https://researchseminars.org/talk/LeanTogether2025/19/
END:VEVENT
END:VCALENDAR