And here's a draft version of a video for "Introduction to Metamath-lamp, part 2": https://youtu.be/GZIXJp4QepU
Again, this is "unpublished" so I can redo if there's a serious problem, please let me know of one. This is a follow-on to the draft part 1, here: https://youtu.be/b-RfoUuQpAQ There were earlier comments about the problem of using metamath-lamp without clear instructions. My hope is that these videos, plus the documentation at <https://lamp-guide.metamath.org <https://lamp-guide.metamath.org/>>, will provide useful instructions. I'll eventually make more videos, but I'll need time for that :-). --- 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/EFC02447-962A-486A-97EC-18EC60A273D8%40dwheeler.com.
