Metamath-lamp video, part 1

[David A. Wheeler]

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

[David A. Wheeler]

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

[Jim Kingdon]

I watched this and it looks good to me.