Zulip Chat Archive

Stream: LMFDB

Topic: bridge

lmfdb-tunnel (Sep 18 2025 at 20:05):

David Roe: Testing

lmfdb-tunnel (Sep 18 2025 at 20:05):

David Roe: Testing

David Roe (Sep 18 2025 at 20:07):

test2

lmfdb-tunnel (Sep 22 2025 at 15:04):

David Ang: Hello!

lmfdb-tunnel (Sep 24 2025 at 13:28):

David Roe: This channel is being mirrored between the LMFDB Zulip server and the Lean Zulip server so that people from both communities can easily participate.

Chris Birkbeck (Sep 24 2025 at 13:33):

Here is a link to the blueprint in case its easier to find.

Last updated: Dec 20 2025 at 21:32 UTC