On September 22, 2019 11:32:46 AM EDT, savask <[email protected]> wrote: >Perhaps it is a bit off-topic for this thread, but I think it's worth >suggesting anyway. >Maybe there should be a "tutorial" page for contributing to set.mm >which >will explain all the steps required and some tips/suggestions (like >minimizing your proof before contributing it to set.mm)? I imagine a >set-by-step explanation, showing how to transfer the statement and the >proof of your theorem into set.mm, how to comment it correctly, how to >minimize the proof, wrap/unwrap and so on.
We do have a getting started wiki page, right here: https://github.com/metamath/set.mm/wiki/Getting-started-with-contributing It doesn't have everything you suggested, but I think it shouldn't be hard to add. Please do! That page is not as prominent as perhaps it should be. Suggestions on how to make that happen are also welcome. --- 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/2C1255E3-3325-48BB-A7BE-02CC6B2FC88F%40dwheeler.com.
