Lean Prover Zulip Chat Archive

---

Streams:

• general (2432 topics)

• new members (822 topics)

• maths (785 topics)

• PR reviews (214 topics)

• Lean Together 2019 (31 topics)

• Lean for teaching (18 topics)

• IMO-grand-challenge (14 topics)

• kbb (13 topics)

• FoMM / Lean Together 2020 (13 topics)

• Is there code for X? (12 topics)

• Machine Learning for Theorem Proving (9 topics)

• Geographic locality (9 topics)

• concrete semantics (4 topics)

• Big Proof 2019 (3 topics)

• imo-grand-challenge (3 topics)

---

Last updated: Feb 29 2020 at 03:00 UTC