Zulip Chat Archive
Streams:
-
new members (11233 topics)
-
general (8925 topics)
-
lean4 (6680 topics)
-
mathlib4 (5182 topics)
-
Is there code for X? (4613 topics)
-
maths (2821 topics)
-
PR reviews (2469 topics)
-
triage (1217 topics)
-
metaprogramming / tactics (441 topics)
-
nightly-testing (332 topics)
-
Machine Learning for Theorem Proving (320 topics)
-
condensed mathematics (297 topics)
-
Equational (290 topics)
-
batteries (238 topics)
-
Zulip meta (192 topics)
-
Geographic locality (165 topics)
-
Lean for teaching (147 topics)
-
lean4 dev (147 topics)
-
job postings (127 topics)
-
std4 (125 topics)
-
graph theory (123 topics)
-
Program verification (92 topics)
-
Type theory (84 topics)
-
FLT (66 topics)
-
IMO-grand-challenge (62 topics)
-
Polynomial Freiman-Ruzsa conjecture (61 topics)
-
FLT-regular (60 topics)
-
Carleson (57 topics)
-
Infinity-Cosmos (50 topics)
-
FLT regular (46 topics)
-
sphere eversion (44 topics)
-
PrimeNumberTheorem+ (43 topics)
-
Berkeley Lean Seminar (42 topics)
-
Lean for the curious mathematician 2020 (42 topics)
-
LFTCM 2024 (35 topics)
-
Lean Together 2025 (35 topics)
-
Lean Together 2019 (32 topics)
-
LftCM22 (31 topics)
-
Copenhagen Masterclass 2023 (29 topics)
-
Lean Together 2024 (29 topics)
-
Natural sciences (27 topics)
-
Lean for Scientists and Engineers 2024 (26 topics)
-
toric (26 topics)
-
Codewars (24 topics)
-
homology (24 topics)
-
Lean Together 2021 (23 topics)
-
lean-gptf (23 topics)
-
Emacs (22 topics)
-
PhysLean (21 topics)
-
CI (15 topics)
-
FoMM / Lean Together 2020 (13 topics)
-
kbb (13 topics)
-
Leaning In! (11 topics)
-
Rutgers Lean seminar (8 topics)
-
iris-lean (8 topics)
-
Displayed Categories (6 topics)
-
Proofs from the book (6 topics)
-
Real-time Systems (6 topics)
-
mathlib documentation (6 topics)
-
concrete semantics (5 topics)
-
Organizing online events (4 topics)
-
Seymour (4 topics)
-
Big Proof 2019 (3 topics)
-
LftCM Bangalore 2025 (3 topics)
-
Xena Summer Projects (3 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)
-
Computer algebra (1 topic)
-
GibbsMeasure (1 topic)
-
homological algebra (1 topic)
-
naturalnumbergame (1 topic)
Last updated: May 02 2025 at 03:31 UTC