Zulip Chat Archive

---

Streams:

• general (3498 topics)

• new members (1992 topics)

• maths (1143 topics)

• PR reviews (346 topics)

• Is there code for X? (234 topics)

• Geographic locality (54 topics)

• Lean for the curious mathematician 2020 (35 topics)

• Lean Together 2019 (32 topics)

• Lean for teaching (31 topics)

• Machine Learning for Theorem Proving (30 topics)

• Berkeley Lean Seminar (27 topics)

• Codewars (21 topics)

• IMO-grand-challenge (20 topics)

• metaprogramming / tactics (19 topics)

• Program verification (18 topics)

• Zulip meta (15 topics)

• FoMM / Lean Together 2020 (13 topics)

• kbb (13 topics)

• Type theory (11 topics)

• Organizing online events (4 topics)

• concrete semantics (4 topics)

• Big Proof 2019 (3 topics)

• Xena Summer Projects (3 topics)

• my-github-feed (2 topics)

---

Last updated: Sep 19 2020 at 02:09 UTC