Stream: new members
Robert Spencer (Sep 08 2019 at 13:47):
I can't help but notice its only had two contributors and was last touched last year.
Is there an alternative?
Keeley Hoek (Sep 08 2019 at 16:27):
Most of the time people just make pull requests against mathlib when they're ready nowadays
Last updated: May 18 2021 at 16:25 UTC