Zulip Chat Archive Stream: Type theory Topic: stream events Notification Bot (Apr 28 2020 at 13:07): Stream created by Mario Carneiro. Last updated: Feb 28 2026 at 14:05 UTC