Zulip Chat Archive
Stream: general
Topic: Hales60
Reid Barton (Jun 19 2018 at 13:28):
Anyone happen to know if the Hales 60 conference (http://www.mathematics.pitt.edu/hales60/) talks are available online?
Johannes Hölzl (Jun 19 2018 at 14:43):
I don't think so, I don't see any camera here.
Reid Barton (Jun 19 2018 at 15:00):
Ah, too bad.
Last updated: Dec 20 2023 at 11:08 UTC