I watched this and it looks good to me.
On 6/24/23 11:31, David A. Wheeler wrote:
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/0eeb36b3-507a-05e4-4b93-179f1e61b520%40panix.com.
