On September 22, 2019 1:24:42 PM EDT, savask <[email protected]> wrote: >I completely missed the wiki page and CONTRIBUTING.md file (probably >because I couldn't see them in >http://us2.metamath.org:88/mpeuni/mmset.html >). >They both answer many questions I thought were not covered anywhere, so >I >guess they serve as a guide. > >I would still like a tutorial with examples
You might find these 2 video tutorials that I created useful: https://m.youtube.com/watch?v=Rst2hZpWUbU https://m.youtube.com/watch?v=vE3v175cMKM --- 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/5E65FB6B-FB36-44AE-A0C4-FED2DEF2671C%40dwheeler.com.
