Zulip Chat Archive

Stream: Leaning In!

Videos now available! (3 messages, latest: Apr 23 2025 at 08:15)
Sail and Lean-MLIR – slides and links (3 messages, latest: Apr 23 2025 at 04:46)
Announcing the proof clinic! (9 messages, latest: Mar 14 2025 at 13:02)
Possibly Infinite Trees of Finite Degree (1 message, latest: Mar 14 2025 at 09:36)
Thank you! (1 message, latest: Mar 13 2025 at 16:12)
The proof clinic (3 messages, latest: Mar 13 2025 at 10:42)
Zoom URL! (4 messages, latest: Mar 13 2025 at 10:03)
Recursive Definition – Slides (3 messages, latest: Mar 13 2025 at 09:04)
Link on researchseminars.org (1 message, latest: Mar 13 2025 at 06:02)
Time and space are still available! (6 messages, latest: Mar 12 2025 at 11:18)
channel events (1 message, latest: Jan 04 2025 at 06:57)

Last updated: May 02 2025 at 03:31 UTC