Thank you too David for your significant contributions to making this
happen.
And also I'd like to express my appreciation that Norm did so much to
welcome contributions and draw in people who might help. So many formal
math projects never advance beyond the stage of one professor and their
lab, and at least to my way of thinking the way to escape this sort of
trap is to always keep an eye out for the next contributor. I could keep
elaborating on this subject but I'll just leave it at saying that I'm
glad we have the kind of vibrancy and activity that we do and I hope we
keep it and expand it.
On 2/11/23 09:32, David A. Wheeler wrote:
All:
I just wanted to thank everyone for helping Metamath be a vibrant & active
community.
On 2021-12-09, Metamath creator Noman Megill died unexpectedly, and that could
have been the end. Instead, there have been continuous improvements and
refinements to the Metamath databases (primarily set.mm and iset.mm). The
combination of all those improvements is quite heartening. In addition, various
tools have been created or improved. There's lots to do, no doubt, but there's
also much to be happy about.
Thanks again.
--- David A. Wheeler
--
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/a809716f-8b28-1b24-fafa-5296435d84d6%40panix.com.
