Times: 2025 Sep 08 from 10:05AM to 10:50AM (Eastern Time (US & Canada))
Webinar link: Webinar
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.