Hi all, I finally put the recording of my talk "Lessons from Metamath" from the Lorentz Center meeting for Machine-Checked Mathematics on YouTube. It is primarily aimed at an audience of people who are familiar with proof assistants but not with Metamath, but I'm sure you all can get plenty out of it as well.
https://www.youtube.com/watch?v=OOF4NWRyue4 Mario Carneiro -- 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/CAFXXJSsoNfduP5TgNbDzPMQEfFYYc4aCRt0y2aPRFPn6sH8ZyQ%40mail.gmail.com.
