Zulip Chat Archive
Streams:
-
general (6223 topics)
-
new members (5265 topics)
-
maths (2042 topics)
-
lean4 (1983 topics)
-
Is there code for X? (1908 topics)
-
PR reviews (1151 topics)
-
triage (414 topics)
-
condensed mathematics (287 topics)
-
metaprogramming / tactics (169 topics)
-
mathlib4 (135 topics)
-
Geographic locality (97 topics)
-
Zulip meta (81 topics)
-
Machine Learning for Theorem Proving (75 topics)
-
graph theory (64 topics)
-
Lean for teaching (63 topics)
-
IMO-grand-challenge (45 topics)
-
Type theory (44 topics)
-
Lean for the curious mathematician 2020 (42 topics)
-
Berkeley Lean Seminar (41 topics)
-
FLT regular (40 topics)
-
Lean Together 2019 (32 topics)
-
Program verification (32 topics)
-
LftCM22 (31 topics)
-
sphere eversion (29 topics)
-
job postings (25 topics)
-
Codewars (23 topics)
-
Lean Together 2021 (23 topics)
-
lean-gptf (23 topics)
-
CI (13 topics)
-
FoMM / Lean Together 2020 (13 topics)
-
kbb (13 topics)
-
mathlib documentation (6 topics)
-
concrete semantics (5 topics)
-
Organizing online events (4 topics)
-
Big Proof 2019 (3 topics)
-
Real-time Systems (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)
-
homology (1 topic)
-
naturalnumbergame (1 topic)
Last updated: Aug 12 2022 at 14:13 UTC