Zulip Chat Archive
Streams:
-
general (6706 topics)
-
new members (5897 topics)
-
lean4 (2806 topics)
-
maths (2235 topics)
-
Is there code for X? (2217 topics)
-
PR reviews (1356 topics)
-
mathlib4 (1032 topics)
-
triage (541 topics)
-
condensed mathematics (294 topics)
-
metaprogramming / tactics (196 topics)
-
Geographic locality (114 topics)
-
Zulip meta (99 topics)
-
Machine Learning for Theorem Proving (92 topics)
-
Lean for teaching (77 topics)
-
graph theory (76 topics)
-
lean4 dev (62 topics)
-
IMO-grand-challenge (49 topics)
-
FLT regular (46 topics)
-
Type theory (45 topics)
-
Lean for the curious mathematician 2020 (42 topics)
-
Berkeley Lean Seminar (41 topics)
-
job postings (39 topics)
-
sphere eversion (35 topics)
-
Program verification (34 topics)
-
std4 (34 topics)
-
Lean Together 2019 (32 topics)
-
LftCM22 (31 topics)
-
Codewars (23 topics)
-
Lean Together 2021 (23 topics)
-
lean-gptf (23 topics)
-
CI (15 topics)
-
FoMM / Lean Together 2020 (13 topics)
-
kbb (13 topics)
-
homology (7 topics)
-
mathlib documentation (6 topics)
-
concrete semantics (5 topics)
-
Organizing online events (4 topics)
-
Real-time Systems (4 topics)
-
Big Proof 2019 (3 topics)
-
Xena Summer Projects (3 topics)
-
Math-AI@ICLR (2 topics)
-
Schnorr RSA paper (2 topics)
-
my-github-feed (2 topics)
-
homological algebra (1 topic)
-
naturalnumbergame (1 topic)
Last updated: Jan 31 2023 at 21:29 UTC