Hi, On 13/12/21 05:54, Mario Carneiro wrote:
I am sorry to report that Norman Dwight Megill, Ph.D. died suddenly of natural causes on December 9, 2021 at the age of 71.
I am reading this email a few days late, and it's indeed a sad loss. I am not having much time to enjoy Metamath lately, but I hold it as a very valuable tool. I learnt a lot from reading the material written by Norm and others, and I wish I had more time to spend on this lovely project.
As I said in other occasions, I particularly valued the community that formed around Metamath, thanks to the Norm's work. Norm himself was always very kind and helpful at beginners' questions.
Life is always so fragile, let's never waste occasions to be kind to each other and enjoy the good thing we've got.
Thanks a lot Norman for what you did. Giovanni. -- Giovanni Mascellani <[email protected]> -- 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/92eb5c87-4893-d81b-79b3-5c5fad4dd47b%40gmail.com.
