Hi! Here are the slides from the AITP'20 GPT-f presentation (that happened today) in case there is interest for it:
https://docs.google.com/presentation/d/1u91W57VF1F9dFrBTv0OkuUomuZ3cxBjPMdg1VZmSLFQ/edit?usp=sharing The talk was well received and I noticed Metamath was mentioned a couple of times so far throughout the different talks. I think there will be videos available later on as well. Best, -stan -- 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/CACZd_0yvgLPhWeSpYPOtNtT5afu%2BBmaEthk9%2B90JX-8q4Lb86Q%40mail.gmail.com.
