I intend to make some videos to help people learn how to use metamath-lamp, in the same way that I made videos for mmj2.
Here's my part 1, which is just a quick intro & tries to help people who "stumble" into the video & may not know what a Metamath is: https://youtu.be/b-RfoUuQpAQ Let me know of any serious problems with this part? That video is "unpublished" in the sense that the link isn't public, so I can re-record it if there's a serious problem. Actual content to follow, probably as a "part 2" instead of trying to merge them. I intend to show 2+2=4 as my (first) demo, in case you weren't sure if that was true :-). I'll use an updated lamp-guide as my script. --- 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/58CF3612-0DF8-4D0D-B8FA-94393EA15B0D%40dwheeler.com.
