Zulip Chat Archive

Stream: general

Topic: big proof pdfs

Reid Barton (Jun 18 2019 at 10:53):

PDFs of most of the talks are now available at https://www.icms.org.uk/bigproof.php

Last updated: May 02 2025 at 03:31 UTC