For those who might be interested, I just presented MM0 at the CICM conference, and the video is now on youtube:
https://youtu.be/CxS0ONDfWJg (It occurs to me that I should have announced this *before* the talk, in case folks were interested in registering for free in order to attend directly. You can still ask questions here if you want.) 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/CAFXXJSt_99WS9eusOuNv9iL%2BF665_APRLJQ9jVUqXzxer1GCZA%40mail.gmail.com.
