Zulip Chat Archive

Stream: Lean for PDEs 2025

Topics:

Projects (44 messages, latest: Oct 27 2025 at 10:03)
Links (12 messages, latest: Oct 09 2025 at 21:13)
channel events (1 message, latest: Oct 06 2025 at 13:12)

Last updated: Dec 20 2025 at 21:32 UTC