Zulip Chat Archive
Stream: LMFDB
Topic: channel events
Notification Bot (Sep 17 2025 at 22:24):
Private, shared history channel created by Kim Morrison. Description:
Work on integrating the LMFDB with Lean. Moderated by David Roe.
lmfdb-tunnel (Sep 18 2025 at 19:42):
Notification Bot: @_David Roe|326396 changed the access permissions for this channel from Private, shared history to Public.
lmfdb-tunnel (Sep 18 2025 at 19:42):
Notification Bot: @_David Roe|326396 changed the access permissions for this channel from Private, shared history to Public.
Notification Bot (Sep 22 2025 at 23:55):
Kim Morrison changed the access permissions for this channel from Private, shared history to Web-public.
Last updated: Dec 20 2025 at 21:32 UTC