Zulip Chat Archive
Streams:
-
general (7040 topics)
-
new members (6557 topics)
-
lean4 (3607 topics)
-
Is there code for X? (2502 topics)
-
maths (2371 topics)
-
mathlib4 (2029 topics)
-
PR reviews (1541 topics)
-
triage (611 topics)
-
condensed mathematics (295 topics)
-
metaprogramming / tactics (211 topics)
-
Machine Learning for Theorem Proving (128 topics)
-
Geographic locality (124 topics)
-
Zulip meta (114 topics)
-
Lean for teaching (93 topics)
-
graph theory (81 topics)
-
std4 (73 topics)
-
lean4 dev (71 topics)
-
Type theory (53 topics)
-
IMO-grand-challenge (50 topics)
-
FLT regular (48 topics)
-
job postings (43 topics)
-
Berkeley Lean Seminar (42 topics)
-
Lean for the curious mathematician 2020 (42 topics)
-
Program verification (38 topics)
-
sphere eversion (35 topics)
-
Lean Together 2019 (32 topics)
-
LftCM22 (31 topics)
-
Copenhagen Masterclass 2023 (28 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 (8 topics)
-
mathlib documentation (6 topics)
-
Natural sciences (5 topics)
-
concrete semantics (5 topics)
-
Organizing online events (4 topics)
-
Real-time Systems (4 topics)
-
Big Proof 2019 (3 topics)
-
Rutgers Lean seminar (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: Aug 03 2023 at 10:10 UTC