And finally, here's a draft of the video "Introduction to Metamath-lamp, part 3": https://www.youtube.com/watch?v=Aqp3jAM2b60
This is the follow-on to: "Introduction to Metamath-lamp, part 1" - https://youtu.be/b-RfoUuQpAQ "Introduction to Metamath-lamp, part 2" - https://youtu.be/WOp2xQ8mEE4 I don't plan on making any more videos for a while, and unless someone tells me of some disaster, I' plan to turn these videos from "unlisted" to "public" in a day or so. These are based on the guide I wrote, available here: https://lamp-guide.metamath.org --- 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/E1qDcUR-0007U5-3h%40rmmprod07.runbox.
