I have just returned from a businss trip, and I was shocked to read about Norm's decease. Only 8 days ago, Norm merged a PR provided by me, and I cannot believe that this was the last joint work. I am so sad and speechless. I think it will take a while until I recognize the full extend of this immense loss. Metamath, Norm's invention, and his tireless dedication to it impressed me from the beginning, and I always felt a kind of spiritual kinship with him. Let's do our best to keep his legacy alive.
Alexander -- 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/58e65e50-843f-4b15-84b0-4e453422c421n%40googlegroups.com.
