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: Dec 20 2023 at 11:08 UTC
PDFs of most of the talks are now available at https://www.icms.org.uk/bigproof.php
Last updated: Dec 20 2023 at 11:08 UTC