Zulip Chat Archive
Stream: general
Topic: HoTT meeting
Jeremy Avigad (Jul 24 2019 at 22:32):
Steve Awodey asked me to announce / remind everyone that there is a HoTT meeting at CMU August 12-17: https://hott.github.io/HoTT-2019/
Last updated: Dec 20 2023 at 11:08 UTC