Zulip Chat Archive
Stream: LFTCM 2024
Topics:
- Ostrowski's Theorem Project (206 messages, latest: Oct 22 2024 at 07:35)
- Project idea: proper group actions (79 messages, latest: Jul 28 2024 at 20:15)
- Project idea: FLT3 (295 messages, latest: Jul 16 2024 at 19:30)
- Project idea: GL_n(F_q) (82 messages, latest: May 27 2024 at 11:22)
- Project idea: Stone duality (7 messages, latest: May 22 2024 at 20:38)
- Teaching Lean (6 messages, latest: May 21 2024 at 10:45)
- Videos (1 message, latest: Apr 22 2024 at 12:02)
- Project idea: Cantor set (130 messages, latest: Apr 19 2024 at 09:35)
- Project Idea: Representations of Finite Group (17 messages, latest: Mar 30 2024 at 09:41)
- stream events (4 messages, latest: Mar 29 2024 at 15:13)
- Wednesday Outing (7 messages, latest: Mar 29 2024 at 10:49)
- Project idea: Trace class operators (15 messages, latest: Mar 28 2024 at 14:20)
- Things in Rocq I want in Lean (15 messages, latest: Mar 28 2024 at 12:34)
- Coq/Rocq: divand (4 messages, latest: Mar 28 2024 at 11:16)
- Coq/Rocq tutorial and practice (7 messages, latest: Mar 28 2024 at 11:13)
- Coq/Rocq tutorial and practice, troubleshooting with M2 mac (22 messages, latest: Mar 28 2024 at 08:09)
- Coq/Rocq tutorial and practice, general troubleshooting (10 messages, latest: Mar 28 2024 at 00:07)
- Projects (9 messages, latest: Mar 27 2024 at 22:43)
- Michael Stoll's talk on zoom (11 messages, latest: Mar 27 2024 at 16:49)
- Arriving in Marseille (59 messages, latest: Mar 27 2024 at 16:44)
- Wednesday afternoon (9 messages, latest: Mar 27 2024 at 11:14)
- List of all tactics (2 messages, latest: Mar 27 2024 at 09:41)
- Project idea: Power residue symbols (17 messages, latest: Mar 26 2024 at 21:02)
- Installation issues (9 messages, latest: Mar 25 2024 at 20:04)
- Project idea: Theorems in Discrete Geometry (1 message, latest: Mar 25 2024 at 15:59)
- Wrong topic - ignore (5 messages, latest: Mar 25 2024 at 14:24)
- How to contribute to mathlib (1 message, latest: Mar 25 2024 at 13:48)
- Project idea: Schur functions (2 messages, latest: Mar 25 2024 at 10:53)
- Project idea: spectral theorem for normal endomorphisms (1 message, latest: Mar 25 2024 at 10:18)
- Project idea: Continuous functional calculus for selfadjoint (1 message, latest: Mar 25 2024 at 10:16)
- Project idea: Stone-Weierstrass for locally compact spaces (1 message, latest: Mar 25 2024 at 10:13)
- Links to schedule and abstracts (1 message, latest: Mar 25 2024 at 09:46)
- Talk: Basic Tactics (8 messages, latest: Mar 25 2024 at 09:20)
- Repository (1 message, latest: Mar 25 2024 at 08:30)
- Project idea: Talagrand's isoperimetric inequality (3 messages, latest: Mar 21 2024 at 12:14)
Last updated: Feb 28 2026 at 14:05 UTC