Hi David, All three parts are great. I have not found any issue.
BTW, I didn't know that hypotheses in the explorer are marked with such large circles in Firefox. In Chrome those circles are smaller. I will try to fix this. - Igor On Monday, June 26, 2023 at 5:02:10 AM UTC+2 David A. Wheeler wrote: > 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/8d8fa76a-5ea2-42cb-a424-0dda0f3f78fdn%40googlegroups.com.
