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