Zulip Chat Archive
Stream: LftCM22
Topics:
- project presentations (7 messages, latest: Jul 18 2022 at 01:05)
- quadratic fields (68 messages, latest: Jul 16 2022 at 12:31)
- Formally étale (2 messages, latest: Jul 16 2022 at 12:27)
- closed immersions (29 messages, latest: Jul 16 2022 at 05:41)
- metaprogramming / introspection (2 messages, latest: Jul 16 2022 at 04:21)
- mathlib write permission (18 messages, latest: Jul 16 2022 at 02:19)
- Friday entertainment (6 messages, latest: Jul 15 2022 at 22:36)
- Formal power series (17 messages, latest: Jul 15 2022 at 22:00)
- Algebraic computations tutorial (15 messages, latest: Jul 15 2022 at 17:00)
- H-spaces (49 messages, latest: Jul 15 2022 at 15:37)
- Dinner (10 messages, latest: Jul 15 2022 at 01:53)
- Final session on Friday (6 messages, latest: Jul 15 2022 at 01:51)
- Hopf fibration (35 messages, latest: Jul 14 2022 at 20:28)
- Talk by Leonardo de Moura (1 message, latest: Jul 14 2022 at 20:23)
- algebraic hierarchy (15 messages, latest: Jul 14 2022 at 20:03)
- slides and materials from talks (24 messages, latest: Jul 14 2022 at 19:46)
- Installation (77 messages, latest: Jul 13 2022 at 21:07)
- Teaching session? (21 messages, latest: Jul 13 2022 at 16:38)
- Project suggestions (42 messages, latest: Jul 13 2022 at 15:07)
- Symplectic group (15 messages, latest: Jul 13 2022 at 14:41)
- geometric group theory (10 messages, latest: Jul 13 2022 at 13:19)
- project: normal closures (4 messages, latest: Jul 13 2022 at 12:14)
- Access to videos for non-participant? (2 messages, latest: Jul 13 2022 at 05:29)
- Length spaces (10 messages, latest: Jul 13 2022 at 04:20)
- Sets and functions (1 message, latest: Jul 12 2022 at 19:00)
- videos and slides (2 messages, latest: Jul 12 2022 at 18:56)
- Basics Demo (1 message, latest: Jul 12 2022 at 15:30)
- Galois group of x^n-a (12 messages, latest: Jul 12 2022 at 13:31)
- Mills Tavern (1 message, latest: Jul 12 2022 at 01:49)
- C^k ODE solutions (2 messages, latest: Jul 11 2022 at 19:57)
- stream events (5 messages, latest: Jul 11 2022 at 19:28)
Last updated: Feb 28 2026 at 14:05 UTC