Stefan O’Rear: Are you still around? 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).
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. --- 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/C9D0A519-6911-4349-BD8D-A52A20E7A6B9%40dwheeler.com.
