Subevent of Session #1
‟Mathlib: Maintaining a monolith” by Yaël Dillies <yael.dillies@math.su.se>, Stockholm University
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.
Webinar link: Webinar