Grand Opening Symposium
Featured Presentation #1.2
Subevent of Session #1
2025 Sep 08 from 10:05AM to 10:50AM (Eastern Time (US & Canada))
Abstract:
I will present the social enterprise behind the 2 million lines-of-code library of formalised mathematics Mathlib, highlighting the ingredients of its success beyond the purely technical prowess.