Zulip Chat Archive

---

Streams:

• general (4675 topics)

• new members (3500 topics)

• maths (1499 topics)

• Is there code for X? (882 topics)

• PR reviews (579 topics)

• lean4 (529 topics)

• triage (203 topics)

• condensed mathematics (130 topics)

• metaprogramming / tactics (83 topics)

• Geographic locality (70 topics)

• Machine Learning for Theorem Proving (56 topics)

• IMO-grand-challenge (43 topics)

• Zulip meta (43 topics)

• Lean for the curious mathematician 2020 (41 topics)

• Berkeley Lean Seminar (39 topics)

• Lean for teaching (39 topics)

• graph theory (36 topics)

• Lean Together 2019 (32 topics)

• Program verification (30 topics)

• Type theory (29 topics)

• mathlib4 (24 topics)

• Codewars (23 topics)

• Lean Together 2021 (22 topics)

• lean-gptf (18 topics)

• FoMM / Lean Together 2020 (13 topics)

• kbb (13 topics)

• CI (9 topics)

• concrete semantics (5 topics)

• mathlib documentation (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)

• job postings (2 topics)

• my-github-feed (2 topics)

• naturalnumbergame (1 topic)

---

Last updated: Aug 05 2021 at 04:14 UTC