Is mathlib-nursary recommended/alive?

Stream: new members

[Robert Spencer]

I can't help but notice its only had two contributors and was last touched last year.

Is there an alternative?

[Keeley Hoek]

Most of the time people just make pull requests against mathlib when they're ready nowadays