Zulip Chat Archive
Streams:
-
general (4127 topics)
-
new members (2853 topics)
-
maths (1346 topics)
-
Is there code for X? (578 topics)
-
PR reviews (463 topics)
-
triage (164 topics)
-
lean4 (160 topics)
-
metaprogramming / tactics (64 topics)
-
Geographic locality (62 topics)
-
Machine Learning for Theorem Proving (41 topics)
-
Lean for the curious mathematician 2020 (40 topics)
-
IMO-grand-challenge (36 topics)
-
Berkeley Lean Seminar (34 topics)
-
Lean for teaching (34 topics)
-
condensed mathematics (34 topics)
-
Lean Together 2019 (32 topics)
-
Program verification (27 topics)
-
graph theory (27 topics)
-
Zulip meta (25 topics)
-
Codewars (22 topics)
-
Lean Together 2021 (22 topics)
-
Type theory (15 topics)
-
FoMM / Lean Together 2020 (13 topics)
-
kbb (13 topics)
-
lean-gptf (13 topics)
-
CI (7 topics)
-
Organizing online events (4 topics)
-
concrete semantics (4 topics)
-
Big Proof 2019 (3 topics)
-
Xena Summer Projects (3 topics)
-
Math-AI@ICLR (2 topics)
-
my-github-feed (2 topics)
Last updated: Mar 07 2021 at 23:10 UTC