> On Dec 13, 2021, at 10:45 AM, Raph Levien <[email protected]> wrote: > > Very sad news indeed. In addition to all our online interactions, I had the > pleasure of meeting with Norm at his home many years ago, and I'm really glad > we made that connection. It is up to us now to keep his legacy active, and I > hope we do that.
Indeed. We will need to work out practical next steps, eventually, but I feel confident that Metamath-related work will continue. A fitting legacy. --- 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/098B2270-FC3F-47EF-8E07-5A557C490530%40dwheeler.com.
