Hey. > > I just wanted to say that I think it's awesome you want to work on a new tool and maybe recruit people to a team, that's great, more work on mm is lovely to see.
For me personally I'm afraid I don't have any energy for contributing at the moment. I wonder if maybe you are running in the same issue with other people, there is a general sense of enthusiasm for the project and also people's lives are busy, we've all got a lot of covid stress I'm sure and so I think it can be a challenge to convince people to commit actual resources. Discussion is easy, real work is much harder and I can understand why people are hesitant to commit to a new thing. Good luck with it, I hope you find the right people to work with. Jon -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/56d1d4f7-407e-43e1-9f5c-6fe50b16b111o%40googlegroups.com.
