On Wed, Nov 25, 2020 at 5:43 PM David A. Wheeler <[email protected]> wrote: > > Stefan O’Rear: Are you still around?
You privately emailed me 60 hours before sending this list message, on a major US holiday, on an email address I largely no longer use (my current address can be found in any of my up-to-date github repos). While I appreciate the enthusiasm, I ask for the tiniest bit of patience here. (In my current jurisdiction, presumption of death requires absence "for a continuous period of 5 years" which is "not satisfactorily explained after diligent search or inquiry".) > Are you still maintaining the Metamath verifier smetamath-rs (smm3) written > in Rust at <https://github.com/sorear/smetamath-rs>? Your verifier is > amazingly fast, but it hasn’t been updated in a while & there are various > things that need updating. I’d also like to add some small additions to its > functionality (e.g., perhaps a C interface & definition checker). There ought to be nothing to update. Rust 1.0 and Metamath both promised eternal forward compatibility. Both smetamaths were designed around a DOM that could be expanded into a proof assistant. A definition checker and a UI were intended functions that I never completed. > In general I try to work with the original developer of a project & > acknowledge them as lead. However, if they’ve abandoned the project, then > I’ll fork the project & carry on. I sent an email earlier & didn’t hear > anything, so I though posting to this mailing list might be the best next > step. This will also help everyone else know that I’m interested in this. I would like to know more about the scope of your plans and am potentially interested in joining, depending on time availability. > --- David A. Wheeler -s -- 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/CADJ6UvN2Trf2S%3DTorQbxzcHBaPk_dxFc6%3DAwUYSnV5QmLp6X4Q%40mail.gmail.com.
