> > The FOMM 2020 talks are all on youtube now: > > https://www.youtube.com/playlist?list=PLlF-CfQhukNkWwZt45vkNfWfuO-tBBqPN >
Thanks. My talk: > > > https://www.youtube.com/watch?v=CqZzbaEuNBs&list=PLlF-CfQhukNkWwZt45vkNfWfuO-tBBqPN&index=18&t=0s > The most interesting to me are MM0 and Lean4 (which got a few more tactics today, yay). Kevin Buzzard's talk looks nice too. Unfortunately the slides are washed out in the video, so you will have to > follow along here: > > > http://www.andrew.cmu.edu/user/avigad/meetings/fomm2020/slides/fomm_carneiro.pdf > Yes, there is a warning already. -- 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/490e4d26-de0c-4c73-8d58-33e372fc7036%40googlegroups.com.
