Dear Metamath Community, I'm writing to express my deepest condolences to all of you for the loss of NM. I think part of the reason metamath is so beautiful is about technical choices Megill made. But a big part of it is also about the human element: the way it was documented, the way credit is assigned, and, most of all, the way the proof explorer is laid out on the web because he didn't just want computers to read the proofs --- he also (or maybe even mainly) wanted them to be readable by people. In his writings, he was also extremely modest and honest about what metamath can and cannot do. And I think that was a breath of fresh air when you compare it to other similar projects.
It is really sad to hear that he's gone. And I sincerely hope that you and others will continue his legacy. Best, -- Patrick Brosnan Professor of Mathematics University of Maryland, College Park -- 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/CADapaRy67fVt1yk1ZjKx6--_7WEj%2Bp63bLLksO45nrBuXbXE6w%40mail.gmail.com.
