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/3C078403-B268-432B-ACE3-D03086B94EB8%40dwheeler.com.
