Zulip Chat Archive
Stream: ItaLean 2025
Topics:
- Projects: Quotient Manifolds (26 messages, latest: Feb 22 2026 at 21:58)
- Projects: Finitely Presented Groups (108 messages, latest: Feb 12 2026 at 12:24)
- Video Recordings (5 messages, latest: Feb 05 2026 at 19:47)
- Projects: Quadratic Integers (7 messages, latest: Jan 08 2026 at 13:23)
- Projects: Improve Automation (58 messages, latest: Dec 17 2025 at 23:17)
- Photo Gallery (4 messages, latest: Dec 16 2025 at 17:05)
- Projects: Term Rewriting (8 messages, latest: Dec 15 2025 at 12:19)
- channel events (6 messages, latest: Dec 14 2025 at 08:41)
- Online Attendance (2 messages, latest: Dec 13 2025 at 16:30)
- Panel Discussion (4 messages, latest: Dec 12 2025 at 14:50)
- Train strike on Friday (3 messages, latest: Dec 12 2025 at 14:05)
- Projects: Sum of Three Squares (6 messages, latest: Dec 11 2025 at 22:36)
- Social Media (2 messages, latest: Dec 11 2025 at 16:04)
- Group Photo (1 message, latest: Dec 11 2025 at 16:01)
- Projects: Sphere Packing (9 messages, latest: Dec 11 2025 at 13:59)
- Projects (44 messages, latest: Dec 10 2025 at 15:50)
- Project: Reintroduction to Proofs (4 messages, latest: Dec 10 2025 at 14:32)
- Repository (7 messages, latest: Dec 10 2025 at 14:00)
- Titles & Abstracts (20 messages, latest: Dec 09 2025 at 18:01)
- Projects: q,t-Catalan (3 messages, latest: Dec 09 2025 at 17:25)
- Projects: Kolmogorov Complexity (4 messages, latest: Dec 09 2025 at 16:58)
- Projects: Spherical Harmonics (1 message, latest: Dec 09 2025 at 16:54)
- Projects: Finite Subgroups of SL(2, F) (1 message, latest: Dec 09 2025 at 16:50)
- Projects: Optimal Transport (1 message, latest: Dec 09 2025 at 16:49)
- Projects: Formal Conjectures (1 message, latest: Dec 09 2025 at 16:45)
- Projects: Erdös Problems (1 message, latest: Dec 09 2025 at 16:35)
- Projects: Dual of Lp (1 message, latest: Dec 09 2025 at 16:33)
- Projects: Brownian Motion (1 message, latest: Dec 09 2025 at 16:10)
- Venue (6 messages, latest: Dec 09 2025 at 08:12)
- Social and Logistic Coordination (9 messages, latest: Dec 08 2025 at 19:28)
- Bologna impressions (1 message, latest: Dec 08 2025 at 18:58)
- Social Dinner (5 messages, latest: Dec 08 2025 at 17:22)
- lake update, dont (7 messages, latest: Dec 08 2025 at 17:16)
- Presentation (9 messages, latest: Dec 04 2025 at 14:55)
- Schedule (13 messages, latest: Nov 28 2025 at 14:24)
- Travel & Accommodation (3 messages, latest: Nov 19 2025 at 16:32)
- Hello! (1 message, latest: Nov 04 2025 at 21:44)
Last updated: Feb 28 2026 at 14:05 UTC