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