Very nice, thanks for posting. I'd be interested in watching the videos when they are available, it'll be interesting to hear your perspective.
I think the fact that the tools and database are so strictly separate in metamath will make it an attractive place for future tool builders to get involved. I'm slightly hoping for network effect to kick in and one system to become the system, but we'll see. On Tuesday, September 15, 2020 at 9:12:05 PM UTC+1 [email protected] wrote: > 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/286cc160-7cbb-47e6-b15a-5c4918b8be2fn%40googlegroups.com.
