Zulip Chat Archive

---

Streams:

• new members (12843 topics)

• general (9924 topics)

• lean4 (7667 topics)

• mathlib4 (6722 topics)

• Is there code for X? (5499 topics)

• maths (2986 topics)

• PR reviews (2786 topics)

• triage (1515 topics)

• nightly-testing (843 topics)

• metaprogramming / tactics (608 topics)

• Machine Learning for Theorem Proving (482 topics)

• Equational (335 topics)

• condensed mathematics (297 topics)

• batteries (271 topics)

• Zulip meta (217 topics)

• job postings (198 topics)

• Geographic locality (187 topics)

• lean4 dev (178 topics)

• Lean for teaching (171 topics)

• graph theory (158 topics)

• CSLib (137 topics)

• std4 (125 topics)

• Program verification (116 topics)

• FLT (113 topics)

• Type theory (106 topics)

• PrimeNumberTheorem+ (105 topics)

• PhysLean (99 topics)

• Carleson (77 topics)

• Analysis I (75 topics)

• Infinity-Cosmos (73 topics)

• IMO-grand-challenge (71 topics)

• Polynomial Freiman-Ruzsa conjecture (66 topics)

• FLT-regular (60 topics)

• iris-lean (48 topics)

• FLT regular (46 topics)

• sphere eversion (45 topics)

• Berkeley Lean Seminar (44 topics)

• Formal conjectures (42 topics)

• Lean Together 2026 (42 topics)

• Lean for the curious mathematician 2020 (42 topics)

• computer science (38 topics)

• Emacs (37 topics)

• ItaLean 2025 (37 topics)

• Brownian motion (36 topics)

• LFTCM 2024 (35 topics)

• Lean Together 2025 (35 topics)

• Lean Together 2019 (32 topics)

• LftCM22 (31 topics)

• Natural sciences (31 topics)

• Seymour (30 topics)

• Copenhagen Masterclass 2023 (29 topics)

• Lean Together 2024 (29 topics)

• homology (28 topics)

• toric (27 topics)

• Lean for Scientists and Engineers 2024 (26 topics)

• Codewars (24 topics)

• Lean Together 2021 (23 topics)

• lean-gptf (23 topics)

• combinatorial-games (22 topics)

• CI (15 topics)

• Leaning In! (15 topics)

• FoMM / Lean Together 2020 (13 topics)

• Sphere packing in 8 dimensions (13 topics)

• kbb (13 topics)

• ecosystem infrastructure (11 topics)

• Proofs from the book (10 topics)

• Quantum information (10 topics)

• Editors & UIs (9 topics)

• Rutgers Lean seminar (8 topics)

• Big Proof 2025 (7 topics)

• Displayed Categories (7 topics)

• LMFDB (7 topics)

• mathlib documentation (7 topics)

• Formalized Formal Logic (6 topics)

• Real-time Systems (6 topics)

• Veil (6 topics)

• ABC-Exceptions (5 topics)

• concrete semantics (5 topics)

• CSLib: Code Reasoning (4 topics)

• LftCM Bangalore 2025 (4 topics)

• Organizing online events (4 topics)

• Big Proof 2019 (3 topics)

• Computer algebra (3 topics)

• Lean for PDEs 2025 (3 topics)

• Loom (3 topics)

• Xena Summer Projects (3 topics)

• GibbsMeasure (2 topics)

• Lean in Vienna 2024 (2 topics)

• Math-AI@ICLR (2 topics)

• SampCert (2 topics)

• Schnorr RSA paper (2 topics)

• my-github-feed (2 topics)

• triage team (2 topics)

• Quadratic Forms – Hasse-Minkowski Theorem (1 topic)

• homological algebra (1 topic)

• naturalnumbergame (1 topic)

---

Last updated: Feb 28 2026 at 14:05 UTC