meeting review and links in https://xenaproject.wordpress.com/2020/07/17/lean-for-the-curious-mathematician-2020/
@philipthrift -- You received this message because you are subscribed to the Google Groups "Everything List" 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/everything-list/03675d68-64c7-40e4-96ad-1f92dab53150n%40googlegroups.com.
