> Mmj2 includes a little tutorial. I have occasionally thought of going > through the tutorial and recording it as a Youtube video, so that people > can see the software without installing it. > > I don't know if that would actually be helpful, I'd love to know what > people think. > --- David A.Wheeler
Years ago I decided to prove "something" in Metamath, after having seen your video showing a session in which you prove "Reciprocal of cotangent is tangent" . I'll be really glad if you'll find some time to record other tutorials. Glauco -- 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/e2fe018e-928a-4bf4-b9fd-1ead7dd505cc%40googlegroups.com.
